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