Maximal and Minimal Dynamic Petri Net Slicing | Publicación