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