New Region-Based Algorithms for Deriving Bounded Petri Nets | Publicación