Функционирование сетей Петри

На рисунке показан пример маркированной сети Петри (СП).

1) Сначала необходимо определить:

– число элементов множества позиций Р;

– число элементов множества переходов Т;

– начальную маркировку;

– входную матрицу инцидентности (строки соответствуют позициям, столбцы – переходам);

– выходную матрицу инцидентности (строки соответствуют переходам, столбцы – позициям).

2) Затем определяются разрешенные переходы. Если для перехода выполняется условие при , то он является разрешенным.

3) Далее определяется новая маркировка, полученная в результате срабатывания -го разрешенного перехода:

– число маркеров в -той позиции,

– искомая маркировка.

Пункты 2) и 3) повторяются.

Таким образом, в результате последовательного срабатывания переходов изменяется маркировка сети, т.е. изучается ее функционирование.

На рис. б) и в) нанести маркировки и , найденные в результате расчета.

Рекомендуемая литература

Информационные технологии на железнодорожном транспорте: Учеб. Для вузов ж.-д. трансп. /Э.К. Лецкий, В.И. Панкратов, В.В. Яковлев и др.; Под ред. Э.К. Лецкого, Э.С. Поддавашкина, В.В. Яковлева. – М.: УМК МПС России, 2000. – 680с.

Не нашли, что искали? Воспользуйтесь поиском: