Zaidi, Awais Raza. “Formal Modeling of Evolving Systems Using Petri Nets Based Vocabulary”. Lahore Garrison University Research Journal of Computer Science and Information Technology 8, no. 5 (August 12, 2024). Accessed June 7, 2025. https://lgurjcsit.lgu.edu.pk/lgurjcsit/article/view/585.