Представление сетей Петри в матрично-предикатном виде
https://doi.org/10.35266/1999-7604-2025-3-8
Аннотация
Разработанный авторами матрично-предикатный метод задания конечных графов, примененный для задания конечных автоматов, можно применить и для задания сетей Петри, которые являются двудольным (направленным) мультиграфом. Сеть Петри также можно представить квадратной матрицей в матрично-предикатном виде. Это позволит применять аппарат теории матриц при проведении математических (теоретико-множественных и логических) операций над сетями Петри. Применение в задании сетей элементов теории предикатов позволит повысить гибкость в управлении ими.
Об авторах
В. С. ПоляковРоссия
кандидат технических наук, доцент
О. А. Авдеюк
Россия
кандидат технических наук, доцент
Р. Н. Никулин
Россия
кандидат физико-математических наук, доцент
Список литературы
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.
Рецензия
Для цитирования:
Поляков В.С., Авдеюк О.А., Никулин Р.Н. Представление сетей Петри в матрично-предикатном виде. Вестник кибернетики. 2025;24(3):72-78. https://doi.org/10.35266/1999-7604-2025-3-8
For citation:
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
Послать статью по эл. почте 