Petri net (PN) 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.
Petri net (PN) 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.
Source: Wikipedia "Slicing Petri nets" · CC BY-SA 4.0
Share this article: X · Bluesky