• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

Towards a Translation from Nested Petri Nets into Colored Petri Nets

P. 55-63.

Вложенные сети Петри (NP-nets) это сети Петри с сетевыми фишками. NP-nets являются расширением сетей Петри высокого уровня для моделирования активных объектов, мобильности и динамики в распределенных системах. В этой работе мы представляет алгоритм перевода двухуровневых NP-nets в поведенчески эквивалентную цветную сеть Петри, с целью применения методов и инструментов цветных сетей Петри для анализа NP-nets. Мы доказываем, что предложенная трансляция сохраняет динамическую семантику, с точностью до бисимуляционной эквивалентности.

В книге

Towards a Translation from Nested Petri Nets into Colored Petri Nets
Под науч. редакцией: V. Nepomniaschy, V. Sokolov. Nizhny Novgorod: Nizhny Novgorod State University, 2012.