Package org.processmining.models.graphbased.directed.petrinet.analysis

Class Summary
AbstractComponentSet<T extends PetrinetNode> This class represents a node marking.
AbstractInvariantSet<T extends PetrinetNode> This class represents a node marking.
AbstractMarkingSet<M extends Marking>  
AbstractNodePairSet<T extends PetrinetNode,S extends PetrinetNode>  
AggCGGraph  
AggPNBehavioralAnalysisResult  
AggPNStructuralAnalysisResult  
AggTSGraph  
CoverabilitySet  
DeadTransitionsSet  
FinalMarkingSet  
HomeMarkingSet  
NetAnalysisInformation<T>  
NetAnalysisInformation.BOUNDEDNESS  
NetAnalysisInformation.EXTFREECHOICE  
NetAnalysisInformation.FREECHOICE  
NetAnalysisInformation.LIVENESS  
NetAnalysisInformation.RELAXEDSOUND  
NonExtendedFreeChoiceClustersSet  
NonFreeChoiceClustersSet  
NonLiveSequences  
NonLiveTransitionsSet  
NonRelaxedSoundTransitionsSet  
NotPCoveredNodesSet  
NotSCoveredNodesSet  
PlaceInvariantSet  
PTHandles  
ReachabilitySet  
SComponentSet  
SinkPlacesSet  
SiphonSet  
SourcePlacesSet  
TComponentSet  
TPHandles  
TransitionInvariantSet  
TrapSet  
UnboundedPlacesSet  
UnboundedSequences  
UnconnectedNodesSet  
WorkflowNetUtils  
 

Enum Summary
NetAnalysisInformation.UnDetBool