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