Usando uma rede de Petri, um sistema de evolução paralela ou eventos simultâneos compreendidos de vários processos cooperam para a realização de um objetivo comum.
A presença de marcas é geralmente interpretado como a presença de recursos. A postagem de uma transição (a ação a ser executada) é realizada quando certas condições prévias são cumpridas, indicadas pelas marcas nos chips (há uma quantidade suficiente de recursos), e a transição (execução da ação) gera alguns modificados Pós-condições As marcas de outros chips (recursos são libertados) e, portanto, a postagem de transições subseqüentes são permitidas.
Definição: Uma rede Petri é um conjunto formado por r = {p, t, p re, p Ost} {\ displaystyle r = {p, t, pre, post \}}
, onde p {\ displaystyle p}
é um conjunto de chips cardeais n {\ displaystyle n}
, t \ displaystyle t}
um conjunto de transições cardinais m {\ Displaystyle m}
, p re {\ displaystyle pré}
O aplicativo anterior que é definido como
p re: p × t → n atices {\ displaystyle pré: p \ vezes t \ rightarrow natural}
e p> e p Ost {\ displaystyle post}
A aplicação de incidência posterior que é definida como
p Ost: P × t → n atural {\ displaystyle post: p \ vezes t \ Rightarrow natural}
definição: um marcado rede é um conjunto formado por {r, m} {\ displaystyle \ {r, m \}}
onde r {\ displaystyle r}
é uma rede Petri como definida, m \ displaystyle m}
é uma aplicação chamada marcação e
m: p → na Treall {\ displaystyle m: p \ rightarrow natural}
.
Um número natural está associado a cada marca, portanto, onde o número de marcas é descrito pela cardinalidade do conjunto de marcas na rede.