org.processmining.models.connections.petrinets.behavioral
Classes 
AbstractSemanticConnection
AggCGGraphConnection
AggTSGraphConnection
BehavioralAnalysisInformationConnection
BoundednessInfoConnection
CoverabilityGraphConnection
CoverabilitySetConnection
DeadMarkingConnection
DeadTransitionsConnection
FinalMarkingConnection
HomeMarkingConnection
InitialMarkingConnection
LivenessInfoConnection
MarkingsetNetConnection
NonLiveSequencesConnection
NonLiveTransitionsConnection
NonRelaxedSoundTransitionsConnection
ReachabilitySetConnection
RelaxedSoundessInfoConnection
StateSpaceConnection
UnboundedPlacesConnection
UnboundedSequencesConnection
UnfoldingNetConnection