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