Package | Description |
---|---|
org.processmining.models.connections.petrinets.behavioral |
Modifier and Type | Class and Description |
---|---|
class |
BehavioralAnalysisInformationConnection |
class |
BoundednessInfoConnection |
class |
CoverabilityGraphConnection |
class |
DeadMarkingConnection |
class |
DeadTransitionsConnection |
class |
LivenessInfoConnection |
class |
NonLiveSequencesConnection |
class |
NonLiveTransitionsConnection |
class |
NonRelaxedSoundTransitionsConnection |
class |
RelaxedSoundessInfoConnection |
class |
StateSpaceConnection |
class |
UnboundedPlacesConnection |
class |
UnboundedSequencesConnection |
class |
UnfoldingNetConnection
Connection between petri net, marking, and unfolding
|