О взаимосвязях поведенческих эквивалентностей временных сетей Петри
Автор: Бушин Дмитрий Игоревич, Вирбицкайте Ирина Бонавентуровна
Журнал: Проблемы информатики @problem-info
Рубрика: Системная информатика
Статья в выпуске: 2 (14), 2012 года.
Бесплатный доступ
Для временных сетей Петри определяется и исследуется семейство поведенческих эквивалентностей в семантиках интерливинг~--- час\-тич\-ный по\-ря\-док и линейное время~--- ветвистое время. Изучаемые эквивалентности основаны на понятии временного процесса, т.~е. временного расширения причинной сети за счет глобальных моментов времени, поставленных в соответствие срабатываниям переходов. Устанавливаются взаимосвязи эквивалентностей и строится иерархия классов эквивалентных временных сетей Петри.
Временные сети петри, временные процессы, поведенческие эквивалентности, семантики интерливинга, шага и частичного порядка, трассовая и бисимуляционная эквивалентности
Короткий адрес: https://sciup.org/14320120
IDR: 14320120
Список литературы О взаимосвязях поведенческих эквивалентностей временных сетей Петри
- Pomello L., Rozenberg G., Simone C.} A survey of equivalence notions for net based systems//Lecture Notes Comput. Sci. 1992. V.~609. P.~410-450.
- Тарасюк И. В.} Эквивалентности для поведенческого анализа параллельных и распределенных вычислительных систем. Новосибирск: Гео, 2007. 224 с.
- Van Glabbeek R. J., Goltz~U.} Refinement of actions and equivalence notions for concurrent systems//Acta Inform. 2001. V.~37. P.~229-327.
- Andreeva M. V., Virbitskaite I. B.} Observational equivalences for timed stable event structures//Fund. Inform. 2006. V.~72. P.~1-19.
- Virbitskaite I. B., Gribovskaya N. S.} Open maps and observational equivalences for timed partial order models//Fund. Inform. 2004. V.~60. P.~383-399.
- Aura T., Lilius J.} Time processes for time Petri nets//Lecture Notes Comput. Sci. 1997. V.~1248. P.~136-155.
- Merlin P., Faber D. J.} Recoverability of communication protocols//IEEE Trans. Comm. 1976. V. COM-24(9). P.~183-195.
- Вирбицкайте И. Б.} Сети Петри: модификации и расширения: Учеб. пособие. Новосибирск: Новосиб. гос. ун-т, 2005. 125~с.
- Rosenberg G., Thiagarajan P. S.} Petri nets: basic notions, structure, behaviour//Lecture Notes Comput. Sci. 1986. V.~224. P.~585-668.
