Charles André M. Diaz Claude Girault Joseph Sifakis Survey of French Research and Applications Based on Petri Nets. 321-345 1975 conf/ac/1975nt Advanced Course: Net Theory and Applications db/conf/ac/nt.html#AndreDGS75