Synthesis rules for Petri nets, and how they lead to new results | Publicación