Анализ графов на ЭВМ. Методические указания. Макарычев П.П - 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. Согласуйте с преподавателем вариант структуры и начальной
маркировки сети Петри. Постройте граф сети в документе.
 2. Определите входную и выходную функции сети Петри, матрицы
инцидентности D− , D+ , D , вектор начальной маркировки μ 0 .




                                            14