%0 Journal Article 
%F Badouel2004a
%A Badouel, Eric
%A Darondeau, Philippe
%T The synthesis of Petri nets from path-automatic specifications
%J Information and Computation
%V 193
%P 117-135
%I Elsevier
%U http://www.irisa.fr/s4/download/papers/Badouel-Darondeau-information-and-computation-2005.pdf
%D 2004
%K nets