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