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

Authors

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

DOI:

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

Keywords:

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

Abstract

В роботі обґрунтована актуальність застосування візуально-аналітичного моделювання для перевірки коректності функціонування програмних систем та мереж Петрі (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.

Downloads

Published

2025-11-06

How to Cite

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

Issue

No. 8 (2025): Modeling, control and information technologies

Section

Software engineering and information technologies

License

Copyright (c) 2025 Modeling, Control and Information Technologies: Proceedings of International scientific and practical conference

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

All materials are distributed under the terms of the Creative Commons Attribution 4.0 International License, which allows others to distribute the work with attribution to the authorship of this work and the first publication in this journal.