@inproceedings {RP-90-09, title = {Modular Synthesis of Free Choice Nets}, year = {1990}, author = {J. Esparza and M. Silva} }