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