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