Моделирование систем управления. Шалобанов С.В. - 39 стр.

UptoLike

Составители:

Рубрика:

Рис. 2.11. Пример сети, иллюстрирующий свойства

ограниченности и сохранения

Рассмотренные свойства сетей Петри образуют основу подхода к моде-

лированию путем построения модели по системе, анализа модели с целью

определения характеристик системы и модификации системы, если характе-

ристики неудовлетворительны.

2.5. Методы анализа сетей Петри

Изложим методы анализа сетей Петри, позволяющие

определить нали-

чие или отсутствие в них рассмотренных выше свойств. Рассмотрим два ос-

новных метода анализа:

1. Построение дерева достижимости.

2. Метод матричных уравнений.

2.5.1. Построение дерева достижимости

Рассмотрим маркированную сеть, представленную на pис.2.12. Её на-

чальная маркировка µ

= (1, 0, 0).