logo
Процесс сухого электростатического копирования

5.1 Свойства мест сети Петри

Ограниченность и безопасность:

сеть ограничена, так как все ее условия ограничены. Все условия ограничены, т.к. существует число n такое, что для любой достижимой в сети N разметки М справедливо неравенство: М (р) ? n. В данном случае n = 1.

сеть является безопасной, т.к. все ее условия являются безопасными. Все условия безопасны, т.к. для каждой разметки М, достижимой в сети N, имеет место условие:

М (р) ? 1. Т.о. любая достижимая в безопасной сети разметка представляет собой вектор из нулей и едениц.