Конюшенко, Сергій. 2015. “Розробка та верифікація моделей систем із використанням мереж петрі”. Modern Information System and Technologies, no. 2 (June). Poltava: PNTU. https://journals.nupp.edu.ua/mist/article/view/491.