La rete di Petri a struttura parallela
In una rete di Petri a struttura parallela gli eventi si succedono senza seguire un ordine prefissato.
E' anche detta rete a concorrenza strutturale.
Le transizioni scattano una dopo l'altra o contemporaneamente ma il flusso degli eventi non è predeterminato.
Questo richiede che gli eventi non siano in conflitto strutturale tra loro.
Nota. Se il parallelismo è vincolato a una transizione iniziale (detta parallel begin o par begin), le transizioni parallele che seguono (dette ramificazioni fork) sono contemporaneamente abiltate soltanto dopo lo scatto della transizione par begin.
Un esempio pratico
In questa rete l'evento t1 è la transizione par begin.
Dopo lo scatto della transizione t1 sono simultaneamente abilitate le transizioni t2 e t3 ( dette ramificazione fork ).
Il flusso successivo degli eventi non è comunque scritto.
Può scattare prima t2 e poi t3, o viceversa.
E così via.
