Package org.processmining.models.connections.petrinets.behavioral

Class Summary
AbstractSemanticConnection  
AggCGGraphConnection  
AggTSGraphConnection  
BehavioralAnalysisInformationConnection  
BoundednessInfoConnection  
CoverabilityGraphConnection  
CoverabilitySetConnection  
DeadMarkingConnection  
DeadTransitionsConnection  
FinalMarkingConnection  
HomeMarkingConnection  
InitialMarkingConnection  
LivenessInfoConnection  
MarkingsetNetConnection  
NonLiveSequencesConnection  
NonLiveTransitionsConnection  
NonRelaxedSoundTransitionsConnection  
ReachabilitySetConnection  
RelaxedSoundessInfoConnection  
StateSpaceConnection  
UnboundedPlacesConnection  
UnboundedSequencesConnection  
UnfoldingNetConnection Connection between petri net, marking, and unfolding