Compositional synthesis of live and bounded free choice Petri nets | Publicación