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