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