%0 Conference Paper %D 1990 %T Top-down synthesis of live & bounded Free Choice Nets %A J. Esparza %A M. Silva %P 63-83 %8 6