La rete di Petri a conflitto strutturale
Una rete di Petri a conflitto strutturale è una struttura elementare che consente all'automa di fare una scelta tra eventi diversi e alternativi tra loro.
Un esempio pratico
In questa rete ci sono due transizioni (eventi) abilitate.
Soltanto un evento può verificarsi.
Quindi, se scatta la transizione t1, non scatta la transizione t2 e viceversa.
Nota. In questo semplice esempio ho considerato soltanto due scelte. Nulla vieta però di averne di più. Potrei configurarne tre, quattro o più. Il funzionamento è sempre lo stesso. Se scatta una transizione, si disabilitano le altre.
E così via.
