L’ utilisation d’ un réseau de Petri, un système d’évolution parallèle ou d’ événements simultanés composés de divers processus coopérer pour la réalisation d’un objectif commun.
La présence de marques est généralement interprété comme la présence de ressources. Le timbre-poste d’une transition (l’action à exécuter) est effectuée lorsque certaines conditions sont remplies, indiqué par les marques dans les puces (il y a une quantité suffisante de ressources), et la transition (exécution de l’action) génère une certaine modification post-conditions les marques des autres puces (ressources sont libérées) , et donc le poste de transitions ultérieures sont autorisés
Définition:. réseau un Petri est un ensemble formé par r = {p, t, p re, p OST} {\ DisplayStyle R = {P, T, Pre, post \}}
, où p {\ displaystyle p}
est une puce cardinaux mis n {\ displaystyle n}
, t \ DisplayStyle T}
Un ensemble de M Cardinal {\ displayStyle M}
, p re {\ displaystyle pre}
L’application antérieure qui est définie comme
p Re: p × t → n atices {\ displaystyle pre: p \ times t \ rightarrow naturel}
et P OST {\ DisplayStyle message}
L’application d’incidence postérieure qui est définie comme
P ost: P × T → N atural {\ displaystyle POST: P \ temps T \ rightarrow NATUREL}
Définition: marqué le réseau est un ensemble formé par {R, M} {\ displayStyle \ {R, M \}}
où r {\ displaystyle r}
est un réseau de Pétri tel que défini, m \ displayStyle m}
est une application appelée marquage et
m: P → NA Treal {\ DisplayStyle M: P \ RightArrore Natural}
.
Un nombre naturel est associé à chaque marque, par conséquent , lorsque le nombre de marques est décrite par la cardinalité de l’ensemble de marques dans le réseau.