Об’єктно-орієнтовані мережі Петрі та можливості їх аналізу формальними методами

Автор(и)

  • Олексій Весельський Черкаський національний університет імені Богдана Хмельницького

DOI:

https://doi.org/10.31713/MCIT.2025.035

Ключові слова:

моделювання програмної системи, мережа Петрі, PN-модель програмної системи, об'єктно-орієнтована мережа Петрі

Анотація

В роботі обґрунтована актуальність застосування візуально-аналітичного моделювання для перевірки коректності функціонування програмних систем та мереж Петрі (PN), як одного з методів такого моделювання. Описана об’єктно-орієнтована інтерпретація мереж Петрі (OOPN) та проаналізовані наукові роботи, що пропонують реалізації об’єктно-орієнтованих PN. Поставлена проблема відсутності формальних методів аналізу, адаптованих до OOPN.

This paper highlights the relevance of employing visual-analytical modeling for validating the correctness of software systems functioning, with Petri nets (PN) considered as one of the key modeling approaches. It describes an object-oriented interpretation of Petri nets (OOPN) and provides an overview of existing research proposing implementations of object-oriented PN. Furthermore, a gap in this field is specified, namely the lack of formal analysis methods specifically adapted to OOPN.

##submission.downloads##

Опубліковано

2025-11-06

Як цитувати

Весельський, О. (2025). Об’єктно-орієнтовані мережі Петрі та можливості їх аналізу формальними методами. Моделювання, керування та інформаційні технології, (8), 123–124. https://doi.org/10.31713/MCIT.2025.035

Номер

№ 8 (2025): Моделювання, керування та інформаційні технології

Розділ

Software engineering and information technologies

Ліцензія

Авторське право (c) 2025 Моделювання, керування та інформаційні технології

Creative Commons License

Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.

Всі матеріали поширюються на умовах ліцензії Creative Commons Attribution 4.0 International License, яка дозволяє іншим розповсюджувати роботу з визнанням авторства цієї роботи і першої публікації в цьому журналі.