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