%0 Journal Article 
%F BadouelD04
%A Badouel, Eric
%A Darondeau, Philippe
%T The synthesis of Petri nets from path-automatic specifications
%J Information and Computation
%V 193
%N 2
%P 117-135
%D 2004