Конюшенко, С. (2015). Розробка та верифікація моделей систем із використанням мереж Петрі. Новітні інформаційні системи та технології, (2). вилучено із https://ojs33.nupp.edu.ua/mist/article/view/491