A Symbolic Algorithm for the Synthesis of Bounded Petri Nets | Publicación