Manuel Silva Enrique Teruel Robert Valette Hervé Pingaud Petri Nets and Production Systems. 85-124 1996 conf/ac/1996petri2 Petri Nets (2) db/conf/ac/petri2.html#SilvaTVP96