ZAIDI, A. R. Formal Modeling of Evolving Systems using Petri nets Based Vocabulary. Lahore Garrison University Research Journal of Computer Science and Information Technology, v. 8, n. 5, 12 Aug. 2024.