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

Packages that use org.processmining.models.graphbased.directed.petrinet.analysis
org.processmining.models.connections.petrinets.behavioral   
org.processmining.models.connections.petrinets.structural   
org.processmining.models.graphbased.directed.petrinet.analysis   
 

Classes in org.processmining.models.graphbased.directed.petrinet.analysis used by org.processmining.models.connections.petrinets.behavioral
AbstractMarkingSet
           
AggCGGraph
           
AggTSGraph
           
DeadTransitionsSet
           
NetAnalysisInformation
           
NetAnalysisInformation.BOUNDEDNESS
           
NetAnalysisInformation.LIVENESS
           
NetAnalysisInformation.RELAXEDSOUND
           
NonLiveSequences
           
NonLiveTransitionsSet
           
NonRelaxedSoundTransitionsSet
           
UnboundedPlacesSet
           
UnboundedSequences
           
 

Classes in org.processmining.models.graphbased.directed.petrinet.analysis used by org.processmining.models.connections.petrinets.structural
AbstractComponentSet
          This class represents a node marking.
AbstractInvariantSet
          This class represents a node marking.
AbstractNodePairSet
           
NetAnalysisInformation
           
NetAnalysisInformation.EXTFREECHOICE
           
NetAnalysisInformation.FREECHOICE
           
NonExtendedFreeChoiceClustersSet
           
NonFreeChoiceClustersSet
           
NotPCoveredNodesSet
           
NotSCoveredNodesSet
           
PlaceInvariantSet
           
PTHandles
           
SComponentSet
           
SinkPlacesSet
           
SiphonSet
           
SourcePlacesSet
           
TComponentSet
           
TPHandles
           
TransitionInvariantSet
           
TrapSet
           
UnconnectedNodesSet
           
 

Classes in org.processmining.models.graphbased.directed.petrinet.analysis used by org.processmining.models.graphbased.directed.petrinet.analysis
AbstractComponentSet
          This class represents a node marking.
AbstractInvariantSet
          This class represents a node marking.
AbstractMarkingSet
           
AbstractNodePairSet
           
NetAnalysisInformation
           
NetAnalysisInformation.UnDetBool