From Many Places to Few: Automatic Abstraction Refinement for Petri Nets | Publicación