|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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 |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |