Representation of Petri nets in matrix-predicate form
https://doi.org/10.35266/1999-7604-2025-3-8
Abstract
The matrix-predicate method for defining finite graphs, as introduced by the authors, and utilized for finite state automation, can be used to define Petri nets, which are bipartite (directed) multigraphs. A square matrix can also represent a Petri net in matrix-predicate form. With this, we can apply matrix theory to perform mathematical operations (set-theoretic and logical) on Petri nets. Employing predicate theory elements in network definition will enhance management flexibility.
About the Authors
V. S. PolyakovRussian Federation
Candidate of Sciences (Engineering), Docent
O. A. Avdeyuk
Russian Federation
Candidate of Sciences (Engineering), Docent
R. N. Nikulin
Russian Federation
Candidate of Sciences (Physics and Mathematics), Docent
References
1. Лескин А. А., Мальцев П. А., Спиридонов А. М. Сети Петри в моделировании и управлении. Л. : Наука, 1989. 133 с.
2. Bechhofer S., Goble C. Thesaurus construction through knowledge representation // Data & Knowledge Engineering. 2001. Vol. 37, no. 1. P. 25–45. https://doi.org/10.1016/S0169-023X(00)00052-5.
3. Лоу А. М., Кельтон В. Д. Имитационное моделирование. 3-е изд. / пер. с англ. СПб. : Питер, 2004. 847 с.
4. Тулохонова И. С., Отбоева С. Д. Решение частной задачи проектирования на основе сети Петри // Интернет-журнал Науковедение. 2016. Том 8. № 4.
5. Маслаков М. П., Маслаков Д. П. Операции над сетями Петри // Физико-математические науки и информационные технологии: актуальные проблемы : материалы Междунар. заоч. науч.-практ. конф., 11 июня 2012 г., г. Новосибирск. Новосибирск : СибАК, 2012. С. 12–17.
6. Badouel E., Bernardinello L., Darondeau P. Petri net synthesis. Springer, 2015. 339 p.
7. Best E., Devillers R. Characterisation of the state spaces of marked graph Petri nets // Information and Computation. 2017. Vol. 253. Pt. 3. P. 399–410. https://doi.org/10.1016/j.ic.2016.06.006.
8. Schlachter U. Petri net synthesis for restricted classes of nets // Proceedings of the 37th International Conference “Petri Nets 2016”, June 19–24, 2016, Toruń. Toruń: Springer-Verlag, 2016. P. 79–97.
Review
For citations:
Polyakov V.S., Avdeyuk O.A., Nikulin R.N. Representation of Petri nets in matrix-predicate form. Proceedings in Cybernetics. 2025;24(3):72-78. https://doi.org/10.35266/1999-7604-2025-3-8
Email this article 