Package org.processmining.framework.models.petrinet.algorithms

Class Summary
CoverabilityGraphBuilder A coverability graph is a finite state space model for a Petri net.
CpnWriter Exports a given low-level Petri net to a coloured Petri net representation that can be read by CPN Tools.
InitialPlaceMarker Title: InitialPlaceMarker
PetriNetShortCircuiter Title: PetriNetShortCircuiter
PlaceInvariantCalculator Title: PlaceInvariantCalculator
PnmlReader Reads a PetriNet from a PNML file.
PnmlWriter Writes a PetriNet to a PNML file.
ReachabilityGraphBuilder Title: ReachabilityGraphBuilder
TPNWriter Title: TPNWriter
TransitionInvariantCalculator Title: TransitionInvariantCalculator
Woflan