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