Compositional Synthesis of Live and Bounded Free Choice Petri Nets.

Javier Esparza, Manuel Silva Surez

Browse the full CONCUR paper archive.