Анализ графов на ЭВМ. Методические указания. Макарычев П.П - 15 стр.

 3. Постройте дерево достижимости сети Петри с использованием
матричного способа описания.
 4. Определите достижимость маркировки μ k из начальной маркировки

μ 0 и последовательность запусков переходов t j1, t j 2 , ..., t jk .
 5. Исследуйте структурные свойства сети Петри: ограниченность,
консервативность, повторяемость и непротиворечивость.
                                 Содержание отчета
      Протокол формализованного задания и анализа сети Петри по всем
пунктам лабораторного задания средствами системы MathCAD.
                               Контрольные вопросы
 1. Какие     используются        способы       аналитического          и   графического
представления маркированных сетей Петри?
 2. Каким образом выполняется смена маркировки и определяется
пространство состояний сети Петри?
 3. Каким      образом       осуществляется       матричный        способ      описания
выполнения маркированной сети Петри?
 4. По каким правилам и в какой последовательности строится дерево
достижимости маркированной сети Петри?
 5. Какие структурные свойства сети Петри зависят только от топологии и
не зависят от начальной маркировки?

                             Лабораторная работа № 4
            ВЕРШИННАЯ И РЕБЕРНАЯ НЕЗАВИСИМОСТИ
      Цель      работы       —      исследование        внутренней          устойчивости
ориентированных          и     неориентированных           графов,          приобретение
практических навыков исследования структур технических систем.




                                           15