Slicing Petri Nets ?