Usando unha rede petri, un sistema de evolución paralelo ou eventos concorrentes compostos por varios procesos cooperar para a realización dun obxectivo común.
A presenza de marcas é normalmente interpretado como a presenza de recursos. O franqueo dunha transición (a acción a executar) lévase a cabo cando se cumpren certas condicións previas, indicadas polas marcas nos chips (hai unha cantidade suficiente de recursos) e a transición (execución da acción) xera algúns modificados post-condicións As marcas doutros chips (recursos son liberados) e, polo tanto, o franqueo de transicións posteriores están permitidas.
Definición: unha rede petri é un conxunto formado por R = {P, T, P re, p ot} {\ displaystyle r = {p, t, pre, post \}}
, onde p {\ displaystyle p}
é un cardinal chips set n {\ displaystyle n}
, t \ displaystyle t}
un conxunto de transicións cardinais m {\ Displaystyle m}
, p re {\ displaystyle pre}
a aplicación previa que se define como
p re: p × t → n atices {\ displaystyle pre: p \ times t \ rightarrow natural}
e p Ost {\ displaystyle post}
A aplicación de incidencia posterior que se define como
P OST: P × T → N Atrural {\ displaystyle Post: P \ Times T \ Rightarrow natural}
Definición: un marcado A rede é un conxunto formado por {r, m} {\ displaystyle \ {r, m \}}
onde r {\ displaystyle r}
é unha rede petri como definida, m \ displaystyle m}
é unha aplicación chamada marcación e
m: p → na Tral {\ displaystyle m: p \ rightarrow natural}
.
Un número natural está asociado a cada marca, polo tanto, onde a cantidade de marcas está descrita pola cardinalidade do conxunto de marcas na rede.