Eric Badouel Philippe Darondeau The synthesis of Petri nets from path-automatic specifications. 117-135 2004 193 Inf. Comput. 2 http://dx.doi.org/10.1016/j.ic.2004.04.004 db/journals/iandc/iandc193.html#BadouelD04