An Integrated Environment for Petri Net Slicing | Publicación