Return to Article Details Programming methodology for programmable automatas from Petri Nets