org.processmining.models.graphbased.directed.petrinet.analysis
Classes 
AbstractComponentSet
AbstractInvariantSet
AbstractMarkingSet
AbstractNodePairSet
AggCGGraph
AggPNBehavioralAnalysisResult
AggPNStructuralAnalysisResult
AggTSGraph
CoverabilitySet
DeadTransitionsSet
FinalMarkingSet
HomeMarkingSet
NetAnalysisInformation
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
Enums 
NetAnalysisInformation.UnDetBool