О взаимосвязях поведенческих эквивалентностей временных сетей Петри

Автор: Бушин Дмитрий Игоревич, Вирбицкайте Ирина Бонавентуровна

Журнал: Проблемы информатики @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.
Еще
Статья научная