Utilizzando una rete Petri, un sistema di evoluzione parallelo o eventi simultanei composti da vari processi cooperano per la realizzazione di un obiettivo comune.
La presenza di marche è di solito interpretato come presenza di risorse. La spedizione di una transizione (l’azione da eseguire) viene effettuata quando vengono soddisfatte determinate condizioni preliminari, indicate dai marchi nei chips (vi è una quantità sufficiente di risorse) e la transizione (esecuzione dell’azione) genera alcuni modificati Post-Conditions I segni di altri chips (risorse vengono rilasciate) e quindi sono consentite la spedizione delle transizioni successive.
Definizione: una rete Petri è un set formato da r = {P, T, P RE, P ost} {\ displaystyle r = {p, t, pre, post \}}
, dove p {\ displaystyle p}
è un set di chip cardinali n {\ displaystyle n}
, t \ displaystyle t}
Un set di transizioni cardinali m {\ Displaystyle m}
, p re {\ displaystyle pre}
L’applicazione precedente che è definita come
p re: p × t → n Atice {\ displaystyle pre: p \ volte t \ raddopping naturale}
e P ost {\ displaystyle post}
L’applicazione di incidenza posteriore definita come
P OST: P × T → N ATURAL {\ DisplayStyle Post: P \ Times T \ RightArrow Natural}
Definizione: A Segnata rete è un set formato da {r, m} {\ displaystyle \ {r, m \}}
dove r {\ displaystyle r}
è una rete di petri come definita, m \ displaystyle m}
è un’applicazione chiamata marcatura e
m: p → na TREAL {\ DisplayStyle M: P \ RightArdarrow Natural}
.
Un numero naturale è associato a ciascun marchio, quindi dove il numero di marchi è descritto dalla cardinalità del set di marche nella rete.