Zaidi, A. R. “Formal Modeling of Evolving Systems Using Petri Nets Based Vocabulary”. Lahore Garrison University Research Journal of Computer Science and Information Technology, Vol. 8, no. 5, Aug. 2024, doi:10.54692/lgurjcsit.2024.85585.