Reduction and Synthesis of Live and Bounded Free Choice Petri Nets | Publicación