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