Процессы и ситуации, происходящие при чтении дисков CD-RW (стр. 4 из 4)
Т. к. переход
может сработать при наличии фишек в 
и 
, а такая разметка существует, то переход - потенциально живой в сети.Т. к. переход
может сработать при наличии фишек в , , 
, 
, 
, 
, 
, 
, 
, а такая разметка существует, то переход - потенциально живой в сети.Т. к. переход
может сработать при наличии фишек в , , , 
, , , , , а такая разметка существует, то переход - потенциально живой в сети.Т. к. переход
может сработать при наличии фишек в и , а такая разметка существует, то переход - потенциально живой в сети.Т. к. переход
может сработать при наличии фишек в , , , , а такая разметка существует, то переход - потенциально живой в сети.Т.к. срабатывание какого-либо перехода не влияет на срабатывание остальных переходов, то переходы в данной сети устойчивы, а, следовательно, и сама сеть тоже устойчива.
Таким образом, данная сеть является безопасной, ограниченной, живой (потенциально), устойчивой.
ЗАКЛЮЧЕНИЕ
процесс диск сеть петри информация
В данной работе было проведено полное исследование процесса чтения информации с диска CD-RW. Анализ показал, что процесс является простым, эффективным и управляемым. Были рассмотрены операции над процессами: репозиция, редукция и композиция. В результате редукции был задан механизм возобновления асинхронного процесса. Построение редукции позволило выделить из процесса более простой: процесс чтения диска с аварийным завершением. В результате композиции был построен процесс вставки диска в привод и чтения с аварийным завершением. Сеть Петри, построенная на исходном процессе, является безопасной, ограниченной, живой и устойчивой.