Анализ свойств переходов с. Петри на живость и устойчивость

Переход t в сети Петри N = (P,T,F,W,M₀) называется потенциально живым при разметке МÎR(N), если существует M’ÎR(N,M): M’³ F(p,t), т.е. существует достижимая от М разметка М’, при которой переход t может работать.

Если М = М₀, то t называется потенциально живым в сети N.

Переход t – мертвый при М, если он не является потенциально живым при М. Переход t - мертвый, если он мертвый при любой достижимой в сети разметке.

Переход t в сети Петри называется живым, если для любого MÎR(N) cсуществует M’Î R(N,M): M ³ F(p,t), т.е. он потенциально живой при любой достижимой в сети разметке. Сеть называется живой, если все ее переходы живы.

Переход t называется потенциально мертвым, если существует MÎR(N), такая, что при любой разметке M’ÎR(N,M) переход t не может работать.

Переход t называется устойчивым в сети N, если t’ÎT \ {t}, MÎR(N): (M ³ F(p,t)) Ç (M ³ F(p,t’))Þ(M ³ (F(p,t)+F(p,t’))), т.е. если переход t может сработать, то никакой другой переход не может сработав, лишить его этой возможности.

Сеть N устойчива, если все ее переходы устойчивы.

Вывод:

Все переходы сети потенциально живы (то есть существует разметка, достижимая от текущей разметки, при которой переход t может сработать), следовательно вся сеть N является живой.

Сеть устойчива, так как все ее переходы являются устойчивыми (это значит, что если переход t может сработать, то никакой другой переход не может сработав, лишить его этой возможности).

Заключение

В данном РГЗ была построена модель АП записи на магнитный диск. Для более подробного исследования к данному процессу были применены следующие операции: репозиция, редукция и параллельная композиция. С помощью репозиции мы рассмотрели механизм возобновления процесса нажатия клавиши. С помощью редукции мы упростили процесс и вычленили его отдельную ветвь. Также была построена сеть Петри и изучены ее свойства.

Список использованной литературы

1. Конспект лекций по ТВП;

2. А.В. Гордеев, А.Ю. Молчанов, Системное программное обеспечение.