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