С. Конюшенко, Розробка та верифікація моделей систем із використанням мереж петрі, Новітні інформаційні системи та технології, вип. 2, Чер 2015.