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