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

 2. Определите входную и выходную функции сети Петри, матрицы

инцидентности D− , D+ , D , вектор начальной маркировки µ 0 .
 3. Постройте дерево достижимости сети Петри с использованием
матричного способа описания.
 4. Определите достижимость маркировки µ               k
                                                           из начальной маркировки

µ 0 и последовательность запусков переходов t j1, t j 2 , ..., t jk .
 5. Исследуйте структурные свойства сети Петри: ограниченность,
консервативность, повторяемость и непротиворечивость.
                                 Содержание отчета
      Протокол формализованного задания и анализа сети Петри по всем
пунктам лабораторного задания средствами системы MathCAD.
                               Контрольные вопросы
 1. Какие     используются        способы       аналитического          и   графического
представления маркированных сетей Петри?
 2. Каким образом выполняется смена маркировки и определяется
пространство состояний сети Петри?
 3. Каким      образом       осуществляется       матричный        способ      описания
выполнения маркированной сети Петри?
 4. По каким правилам и в какой последовательности строится дерево
достижимости маркированной сети Петри?
 5. Какие структурные свойства сети Петри зависят только от топологии и
не зависят от начальной маркировки?
                             Лабораторная работа № 4
            ВЕРШИННАЯ И РЕБЕРНАЯ НЕЗАВИСИМОСТИ
      Цель      работы       —      исследование        внутренней          устойчивости
ориентированных          и     неориентированных            графов,         приобретение
практических навыков исследования структур технических систем.




                                           15