Динамика сетей Петри в пространстве состояний

Динамика сети описывается следующим рекуррентным уравнением:

                                        (2)

Для вычисления управляющего вектора Uk необходимо определить те переходы tj, которые срабатывают при маркировании Mk-1. Если tj срабатывает, то Uj=1 и произведение A*Uk даёт число меток, добавляемых в позицию Pi в каждом такте.

Условие срабатывания перехода tj и выработки Uj=1 представляется логическим уравнением:

 ?                                               (3)

которое управляет действиями tj.
Для генерирования диаграммы состояний сети Петри достаточно использовать (2), (3). В теории сетей Петри иногда исходят из того, что не указывают порядок срабатывания переходов, если вектор U задаёт возбуждение нескольких из них в одном и том же такте К.

Так в примере при построении дерева достижимости в состоянии M0 вектор управления U1*=(1,0,1), что указывает на возбуждение первого и третьего переходов. При срабатывании t1сеть перейдёт в состояние M1=(0,1,1,1), при t3 в состояние M5=(2,2,0,0). Однако, если следовать (2), то диаграмма состояний сети имеет вид на (рис.в). Итак, если полагать, что все возбуждённые переходы срабатывают вместе, то динамику сети можно представить уравнением (2). Если исходить из того, что возбуждённые переходы могут срабатывать только порознь, то уравнение состояний сети будет иметь другой вид.

I:      - функция следования
O:    - функция предшествования

Совмещение первого и второго способов срабатывания одновременно возбуждаемых переходов даст третью диаграмму состояний, являющуюся наложением двух приведённых на рисунке.

В реальных ВС имеется вполне определённый способ управления сменой состояний и присутствует такой фактор как время, что позволяет уточнить уравнение (3). Если времена срабатывания переходов одинаковы, то динамика системы моделируется уравнениями (2), (3), поскольку такая сеть является синхронной. Этих уравнений не достаточно для моделирования асинхронных процессов, для которых  времена срабатывания различны.

В этом случае процедуру продвижения меток в сети следует производить в асинхронном времени, введя в модель часы. Если в синхронных системах достаточно вести отсчёт тактов, то в асинхронных необходимо в каждом из тактов определять момент наступления очередного. Интервал времени между тактами К и К+1 определяется временем наступления срабатывания одновременно одного или нескольких переходов.

Уравнение (2) отражает свободное движение сети из начального состояния M0. Вынужденное движение сети определяется вектором-функцией W(t), компоненты которой Wi(t) описывают приход меток в позиции Pi во времени; W(t) может задаваться в моменты дискретного времени К, наступление которых устанавливается моментами переключения состояния сети или внутренними часами.

Уравнение вынужденного движения сети Петри имеет вид:

                                                                 (4)

Таким образом, введённая здесь последовательность Wk описывает внешний источник меток, представленных входной лентой.
Перемещение ленты для считывания следующей группы меток и ввода их в соответствующие позиции выполняется в асинхронном времени по командам от часов или по сигналам перемещения ленты из самой системы.

Последовательность Wk предназначена для отображения взаимодействий в структурированных сетях, она может отображать последовательные наборы данных, управляющих команд и т. д. Очевидно, что в любом состоянии системы компоненты вектора маркировки не могут быть отрицательными, то есть . Учитывая последнее, из (2) получаем .
Последовательность маркирований (2) можно выразить через начальную маркировку M0 и вектор счёта срабатываний

                                  (5)
k
Элемент Sj указывает, какое число раз срабатывает переход t в последовательности маркирований, ведущей от M0 к Мк.
Учитывая уравнение (5), из выражения (2) получаем:

                                                                          (6)

Введя вектор изменения маркирования , из уравнения (6) получим:

                                                                           (7)

К нахождению решений данного уравнения сводятся различные задачи практики. Все его возможные решения можно получить одним из методов решения задач целочисленного программирования.