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