Алгебраический подход к описанию функционирования сетей Петри.
Смена маркировок сети, т. е. функционирование сети Петри, может быть описано следующим уравнением [14]:
ет готовность перехода С к срабатыванию, д = 0 — отсутствие готовности.
Наличие нескольких единиц в векторе соответствует одновременному возбуждению соответствующих переходов и разветвлению процесса.Элементы управляющего вектора можно определить следующим образом. Элементы вектора текущей разметки Mj сравниваются с соответствующими элементами столбцов матрицы инцидентности F1 каждый из которых отвечает за состояние одного перехода. Если все элементы вектора текущего состояния не меньше соответствующих элементов г-го столбца матрицы F, то это означает возможность срабатывания г-го перехода и, следовательно, д = 1.
В нашем случае:
Здесь S — вектор счёта срабатываний. Элемент вектора si указывает на число срабатываний перехода t{ в последовательности срабатываний, ведущих от начальной разметки Mq в раз- метку Мр.
2.3.2.