Talk:Slicing Petri nets