La rete di Petri a struttura sincronizzata
In una rete di Petri la sincronizzazione vincola l'abiltazione di un evento al verificarsi di altri eventi. E' anche detta operazione join.
In genere è abinata a una struttura parallela dove più processi sono eseguiti simultaneamente.
Una transizione, detta parallel end ( o par end ), scatta quando altre transizioni sono già scattate.
Un esempio pratico
In questa rete di Petri la transizione t3 è abilitata soltanto dopo lo scatto delle transizioni t1 e t2.
Quindi, la transizione t3 è una transizione par end.
Se le transizioni t1 o t2 non sono già scattate, il flusso computazionale prima di t3 è sospeso.
E così via.
