Class and Description |
---|
AbstractComponentSet
This class represents a node marking.
|
AbstractInvariantSet
This class represents a node marking.
|
AbstractNodePairSet |
NetAnalysisInformation |
NetAnalysisInformation.EXTFREECHOICE |
NetAnalysisInformation.FREECHOICE |
NonExtendedFreeChoiceClustersSet |
NonFreeChoiceClustersSet |
NotPCoveredNodesSet |
NotSCoveredNodesSet |
PlaceInvariantSet |
PTHandles |
SComponentSet |
SinkPlacesSet |
SiphonSet |
SourcePlacesSet |
TComponentSet |
TPHandles |
TransitionInvariantSet |
TrapSet |
UnconnectedNodesSet |
Class and Description |
---|
AbstractComponentSet
This class represents a node marking.
|
AbstractInvariantSet
This class represents a node marking.
|
AbstractMarkingSet |
AbstractNodePairSet |
NetAnalysisInformation |
NetAnalysisInformation.UnDetBool |