grazie...utilissimi quei link. Ho un altro problema: devo una volta istanziata la mia rete di petri,fare in modo di convertire la rete in un sistema di riscrittura etichettati (LTS)