Zaidi, Awais Raza. 2024. “Formal Modeling of Evolving Systems Using Petri Nets Based Vocabulary”. Lahore Garrison University Research Journal of Computer Science and Information Technology 8 (5). https://doi.org/10.54692/lgurjcsit.2024.85585.