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