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