Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV PACKAGE
NEXT PACKAGE
FRAMES
NO FRAMES
All Classes
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
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV PACKAGE
NEXT PACKAGE
FRAMES
NO FRAMES
All Classes