page_title: Slicing Petri nets
section_title: Background
hierarchical_section_title: Slicing Petri nets / Background
caption_attribution_description: English: Example Petri net Model and its sliced net by applying basic slicing algorithm.
context_page_description: Petri net slicing is a syntactic technique used to reduce a PN model based on a given criterion. Informally, a slicing criterion could be a property for which a PN model is analyzed or is a set of places, transitions, or both. A sliced part constitutes only that part of a PN model that may affect the criteria.
context_section_description: The term slicing was coined by M. Weiser in the context of program debugging. 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.
caption: Exampleslice
exif: {"Image XResolution": "250", "Image YResolution": "250", "Image ResolutionUnit": "Pixels/Inch", "Image ExifOffset": "78", "EXIF ExifImageWidth": "3100", "EXIF ExifImageLength": "2260"}