Slicing Petri nets

The term slicing was coined by M. Weiser in the context of program debugging.^[4] According to Wieser, a program slice is a reduced, executable program that can be obtained from a program P based on the variables of interest and line number by removing statements such that program slicing replicates part of the behavior of the program. The term was later adapted to the context of Petri nets and for other classes of Petri nets such as Algebraic Petri nets.^[1][2][3][5]