Zaidi, A. R. (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