Розробка та верифікація моделей систем із використанням мереж Петрі (Новітні інформаційні системи та технології, 2015)