Розробка та верифікація моделей систем із використанням мереж Петрі. НІСТ [Internet]. 2015 Jun. 8 [cited 2026 Feb. 17];(2). Available from: https://journals.nupp.edu.ua/mist/article/view/491