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