Маркировка сетей Петри

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

Маркировка является отображением множества позиций в множество целых неотрицательных чисел.

На графе сетей Петри маркировка изображается в виде точек (фишек), которые расположены в позициях сети Петри.

Маркировка может быть реализована как вектор и как функция.

C=(P,T,I,O,M)

– отображение множества позиций на множество переходов

– область, из которой берутся элементы комплектов

– область комплектов, где число элементов в комплекте не превышает числа n

– область комплектов, где число элементов в комплекте не имеет ограничений

– отображение множества переходов на множество позиций.

а) Входная функция – отображение множества позиций на множество переходов, которые входят в этот переход

б) Выходная функция – отображение перехода в множество позиций, которые выходят из этого перехода.

Между структурой сети Петри и графом сети Петри есть тесная функциональная связь – по графу всегда можно построить структуру и наоборот. Граф сети Петри является более наглядным средством изображения сети Петри, т.к. в нем более удобно представлять маркировку.