Package | Description |
---|---|
org.processmining.models.connections.petrinets.structural | |
org.processmining.models.graphbased.directed.petrinet.analysis |
Constructor and Description |
---|
AbstractComponentSetConnection(PetrinetGraph net,
AbstractComponentSet<?> nodeMarking) |
Modifier and Type | Class and Description |
---|---|
class |
DeadTransitionsSet |
class |
NonExtendedFreeChoiceClustersSet |
class |
NonFreeChoiceClustersSet |
class |
NonLiveTransitionsSet |
class |
NonRelaxedSoundTransitionsSet |
class |
NotPCoveredNodesSet |
class |
NotSCoveredNodesSet |
class |
SComponentSet |
class |
SinkPlacesSet |
class |
SiphonSet |
class |
SourcePlacesSet |
class |
TComponentSet |
class |
TrapSet |
class |
UnboundedPlacesSet |
class |
UnconnectedNodesSet |