“Розробка та верифікація моделей систем із використанням мереж Петрі” (2015) Modern information system and technologies [Preprint], (2). Available at: https://journals.nupp.edu.ua/mist/article/view/491 (Accessed: 17 February 2026).