“Розробка та верифікація моделей систем із використанням мереж Петрі”, НІСТ, no. 2, Jun. 2015, Accessed: Feb. 10, 2026. [Online]. Available: https://ojs35.nupp.edu.ua/mist/article/view/491