JavaScript is disabled on your browser.
Skip navigation links
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
Class
Description
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
Enum
Description
NetAnalysisInformation.UnDetBool
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Package
Next Package
Frames
No Frames
All Classes