Come convertire una rete di Petri generale in pura

Per trasformare una rete generale in una rete pura devo rimuovere ogni cappio e sostituirlo con un anello composto da due transizioni e due posti.

Qual è la differenza tra la rete generale e pura

• La rete generale può contenere cappi
• La rete pura non contiene cappi

Nota. Un cappio è composto da due archi in entrambe le direzioni tra un posto e una transizione .

Un esempio pratico

Questa rete generale è composta da 3 nodi e 3 transizioni.

Nella rete ci sono due cappi.

Il primo cappio è tra il posto p₁ e la transizione t₁.

Sostituisco il cappio con un anello composto da due posti e due transizioni.

Il primo cappio è tra la transizione t₂ e il posto p₃.

Anche in questo caso lo rimpiazzo con un anello composto da due posti e due transizioni.

Il risultato finale è una rete pura.

La rete modificata non ha nessun cappio.

In questo modo ho trasformato una rete generale in una rete pura.

Attenzione. Il numero delle marcature M(p) nella rete modificata deve essere lo stesso della rete originaria.

E così via.