Dynamic Slicing Techniques for Petri Nets | Publicación