Ру
EnИЕРАРХИЯ ЭКВИВАЛЕНТНОСТЕЙ НЕПРЕРЫВНО-ВРЕМЕННЫХ СЕТЕЙ ПЕТРИ СО СЛАБОЙ ВРЕМЕННОЙ СТРАТЕГИЕЙ
EDN: UMPUBR
Непрерывно-временные сети Петри (НВСП) — временное расширение сетей Петри, где каждому переходу ставятся в соответствие временной интервал его срабатывания и локальные часы. Данная модель рассматривается со слабой временной стратегией (ход времени не форсирует срабатывания переходов) и устойчиво атомарной стратегией сброса часов (срабатывание перехода рассматривается как единое событие). Для НВСП разрабатываются и исследуются эквивалентности в спектрах «линейное — ветвящееся время» и «интерливинг — частичный порядок». Первый спектр представлен языковыми эквивалентностями (поведение системы определяется множеством ее процессов), бисимуляционными эквивалентностями (учитываются точки выбора альтернативных действий системы): обычными, прямыми-обратными, с сохранением и слабым сохранением истории. Второй спектр определен семантиками интерливинга (процесс — последовательность действий), частичного порядка (процесс — частично-упорядоченное множество действий) и процессно-сетевой семантикой (процесс — ациклическая бесконфликтная сеть). Анализируются взаимосвязи между данными эквивалентностями, строится их иерархия.
Список литературы
- Berard В., Cassez F., Haddad S., Lime D., Roux O.H. Comparison of different semantics for time Petri nets // International Symposium on Automated Technology for Verification and Analysis. 2005. P. 293-307.
- Reynier P. A., Sangnier A. Weak time Petri nets strike back! // International Conference on Concurrency Theory. 2009. P. 557-571.
- Boyer M., Roux O.H. Comparison of the expressiveness of arc, place and transition time Petri nets // International Conference on Application and Theory of Petri Nets. 2007. P. 63-82.
- Тарасюк И. В. Эквивалентности для поведенческого анализа параллельных и распределенных вычислительных систем. Академическое издательство Гео, 2007.
- Virbitskaite I., Bushin D., Best E. True concurrent equivalences in time Petri nets // Fundamenta Informaticae, 149(4), 2016. P. 401-418
- Вирбицкайте И.Б., Зубарев А.Ю. «Истинно параллельная» семантика непрерывновременных сетей Петри со слабой временной и устойчиво атомарной пространственной стратегиями // Программирование, 2021, № 5. С. 60-74.
- Зубарев А.Ю. Сравнение языковых и бисимуляционных эквивалентностей непрерывновременных сетей Петри со слабой временной стратегией // Проблемы информатики. 2022. № 4. С. 5-27.