Конюшенко, С. (2015) «Розробка та верифікація моделей систем із використанням мереж Петрі», Новітні інформаційні системи та технології, (2). доступний у: https://journals.nupp.edu.ua/mist/article/view/491 (дата звернення: 22 Січень 2025).