КОНЮШЕНКО, Сергій. Розробка та верифікація моделей систем із використанням мереж Петрі. Новітні інформаційні системи та технології, [S. l.], n. 2, 2015. Disponível em: https://journals.nupp.edu.ua/mist/article/view/491. Acesso em: 22 січ. 2025.