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

Маркировка — это размещение по позициям сети Петри фишек, изображаемых на графе сети Петри точками. Фишки используются для определения выполнения сети Петри. Количество фишек в позиции при выполнении сети Петри может изменяться от 0 до бесконечности.

Маркировка m сети Петри N = (P,T,I,О) есть функция, отображающая множество позиций P во множество Nat неотрицательных целых чисел. Маркировка m, может быть также определена какn-вектор m = <m((p₁)), m((p₂),),…, m(p_n)>, где n – число позиций в сети Петри и для каждого 1 i n, m(p_i) Nat – количество фишек в позиции p_i.

Маркированная сеть Петри N = (P,Т,I,О,m) определяется совокупностью структуры сети Петри (P,T,I,О) и маркировки m. На рисунке 4.2 представлена маркированная сеть Петри m = <1,0,1>.

Множество всех маркировок сети Петри бесконечно. Если фишек, помещаемых в позицию слишком много, то удобнее не рисовать фишки в кружке этой позиции, а указывать их количество.