procyberВестник кибернетикиProceedings in Cybernetics1999-7604Бюджетное учреждение высшего образования Ханты-Мансийского автономного округа – Югры «Сургутский государственный университет»10.35266/1999-7604-2025-3-8procyber-700Research ArticleТЕХНИЧЕСКИЕ НАУКИEngeneeringПредставление сетей Петри в матрично-предикатном видеRepresentation of Petri nets in matrix-predicate formhttps://orcid.org/0009-0002-6006-1828ПоляковВ. С.PolyakovV. S.

кандидат технических наук, доцент

Candidate of Sciences (Engineering), Docent

https://orcid.org/0000-0001-6201-8773АвдеюкО. А.AvdeyukO. A.

кандидат технических наук, доцент

Candidate of Sciences (Engineering), Docent

oxal2@mail.ruhttps://orcid.org/0000-0002-9042-7985НикулинР. Н.NikulinR. N.

кандидат физико-математических наук, доцент

Candidate of Sciences (Physics and Mathematics), Docent

Волгоградский государственный технический университет, ВолгоградРоссияVolgograd State Technical University, VolgogradRussian Federation2025141020252437278Copyright © Поляков В.С., Авдеюк О.А., Никулин Р.Н., 20252025Поляков В.С., Авдеюк О.А., Никулин Р.Н.Polyakov V.S., Avdeyuk O.A., Nikulin R.N.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.vestcyber.ru/jour/article/view/700

Разработанный авторами матрично-предикатный метод задания конечных графов, примененный для задания конечных автоматов, можно применить и для задания сетей Петри, которые являются двудольным (направленным) мультиграфом. Сеть Петри также можно представить квадратной матрицей в матрично-предикатном виде. Это позволит применять аппарат теории матриц при проведении математических (теоретико-множественных и логических) операций над сетями Петри. Применение в задании сетей элементов теории предикатов позволит повысить гибкость в управлении ими.

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.

сеть Петриматрицапредикатматрично-предикатный видграфпозицияпереходPetri netmatrixpredicatematrix-predicate formgraphpositiontransitionReferencesЛескин А. А., Мальцев П. А., Спиридонов А. М. Сети Петри в моделировании и управлении. Л. : Наука, 1989. 133 с.Лескин А. А., Мальцев П. А., Спиридонов А. М. Сети Петри в моделировании и управлении. Л. : Наука, 1989. 133 с.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.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-е изд. / пер. с англ. СПб. : Питер, 2004. 847 с.Лоу А. М., Кельтон В. Д. Имитационное моделирование. 3-е изд. / пер. с англ. СПб. : Питер, 2004. 847 с.Тулохонова И. С., Отбоева С. Д. Решение частной задачи проектирования на основе сети Петри // Интернет-журнал Науковедение. 2016. Том 8. № 4.Тулохонова И. С., Отбоева С. Д. Решение частной задачи проектирования на основе сети Петри // Интернет-журнал Науковедение. 2016. Том 8. № 4.Маслаков М. П., Маслаков Д. П. Операции над сетями Петри // Физико-математические науки и информационные технологии: актуальные проблемы : материалы Междунар. заоч. науч.-практ. конф., 11 июня 2012 г., г. Новосибирск. Новосибирск : СибАК, 2012. С. 12–17.Маслаков М. П., Маслаков Д. П. Операции над сетями Петри // Физико-математические науки и информационные технологии: актуальные проблемы : материалы Междунар. заоч. науч.-практ. конф., 11 июня 2012 г., г. Новосибирск. Новосибирск : СибАК, 2012. С. 12–17.Badouel E., Bernardinello L., Darondeau P. Petri net synthesis. Springer, 2015. 339 p.Badouel E., Bernardinello L., Darondeau P. Petri net synthesis. Springer, 2015. 339 p.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.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.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.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.

The authors declare that there are no conflicts of interest present.