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