Т. к. все места сети безопасны, то и вся сеть в целом безопасна .

Т. к. для , сеть ограничена .

Т. к. переход может сработать при наличии фишек в и , а такая разметка существует, то переход - потенциально живой в сети.

Т. к. переход может сработать при наличии фишек в , , , , , , , , , а такая разметка существует, то переход - потенциально живой в сети.

Т. к. переход может сработать при наличии фишек в , , , , , , , , а такая разметка существует, то переход - потенциально живой в сети.

Т. к. переход может сработать при наличии фишек в и , а такая разметка существует, то переход - потенциально живой в сети.

Т. к. переход может сработать при наличии фишек в , , , , а такая разметка существует, то переход - потенциально живой в сети.

Т.к. срабатывание какого-либо перехода не влияет на срабатывание остальных переходов, то переходы в данной сети устойчивы, а, следовательно, и сама сеть тоже устойчива .

Таким образом, данная сеть является безопасной, ограниченной, живой (потенциально), устойчивой.

ЗАКЛЮЧЕНИЕ

процесс диск сеть петри информация

В данной работе было проведено полное исследование процесса чтения информации с диска CD-RW. Анализ показал, что процесс является простым, эффективным и управляемым. Были рассмотрены операции над процессами: репозиция, редукция и композиция. В результате редукции был задан механизм возобновления асинхронного процесса. Построение редукции позволило выделить из процесса более простой: процесс чтения диска с аварийным завершением. В результате композиции был построен процесс вставки диска в привод и чтения с аварийным завершением. Сеть Петри, построенная на исходном процессе, является безопасной, ограниченной, живой и устойчивой.