Zaidi, A. R. Formal Modeling of Evolving Systems Using Petri Nets Based Vocabulary. Research Journal Of Computer Science And Information Technology 2024, 8.