КОНЮШЕНКО, С. Розробка та верифікація моделей систем із використанням мереж петрі. Новітні інформаційні системи та технології, n. 2, 8 jun. 2015.