Конюшенко С. Розробка та верифікація моделей систем із використанням мереж Петрі. НІСТ [інтернет]. 08, Червень 2015 [цит. за 22, Січень 2025];(2). доступний у: https://journals.nupp.edu.ua/mist/article/view/491