Come trasformare una rete di Petri generale in ristretta
Per trasformare una rete di Petri generale in una rete ristretta
- Trasformo la rete in rete ordinaria sostituendo tutti gli archi con peso maggiore di uno.
- Trasformo la rete in rete pura rimuovendo tutti i cappi
Il risultato finale è una rete ristretta.
Una rete di Petri è detta ristretta se è ordinaria e pura.
Nota. Il numero di marcature M(p) nella rete modificata deve essere uguale alla rete originaria.
E così via.
