Анализ графов на ЭВМ - 14 стр.

Множество всех маркировок сети Петри, обладающей n – позициями, есть
множество     всех      n – векторов             Nn.           Это        множество          может   быть
бесконечным, но всегда счетным.
       Позиция     pi маркированной                    сети          называется k -ограниченной,

если для любой маркировки µ k , достижимой из µ 0 , µ ik ≤ k . Если µ ik ≤ 1 ,
то позиция называется безопасной. Принято считать, что сеть структурно
ограничена,      если    она         ограничена                  для         любой         первоначальной

маркировки µ 0 .
       Сеть Петри консервативна, или S - инвариантна, если существует
положительное целое число y ( pi ) , связанное с каждой позицией pi , такое,

что сумма маркеров постоянна для любой маркировки µ k , достижимой

из µ 0 :

                             n                          n
                            ∑      µ ik ⋅ y ( pi ) =   ∑      µ i0 ⋅ y ( pi ) .
                            i= 1                       i= 1

       Сеть Петри повторяема, если существуют последовательность

срабатываний σ переходов из µ               0
                                                такая, что каждый переход срабатывает
бесконечное число раз в σ .
       Сеть Петри непротиворечива, или T - инвариантна, если существуют

последовательность срабатываний σ из µ                              0
                                                                        в µ       0
                                                                                      такая, что переход в
последовательности σ запускается по крайней мере один раз.
                                 Лабораторное задание
 1. Согласуйте с преподавателем вариант структуры и начальной
маркировки сети Петри. Постройте граф сети в документе.




                                                  14