Розробка та верифікація моделей систем із використанням мереж Петрі. НІСТ. 2015;(2). дата звернення Лютий 17, 2026. https://journals.nupp.edu.ua/mist/article/view/491