Zaidi AR. Formal Modeling of Evolving Systems using Petri nets Based Vocabulary. Research Journal Of Computer Science And Information Technology [Internet]. 2024Aug.12 [cited 2025Jun.7];8(5). Available from: https://lgurjcsit.lgu.edu.pk/lgurjcsit/article/view/585