Конюшенко С. Розробка та верифікація моделей систем із використанням мереж петрі. Новітні інформаційні системи та технології [інтернет]. 8Чер2015 [цитується за 19Трав2024];(2). Available from: https://journals.nupp.edu.ua/mist/article/view/491