public class AbstractLivenessAnalyzer
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected org.processmining.models.semantics.petrinet.Marking[] |
finalMarkings |
protected org.processmining.models.graphbased.directed.petrinet.analysis.NetAnalysisInformation.LIVENESS |
info |
protected org.processmining.models.graphbased.directed.petrinet.analysis.NonLiveSequences |
nonLiveSequences |
protected org.processmining.models.graphbased.directed.petrinet.analysis.NonLiveTransitionsSet |
nonLiveTrans |
protected org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph |
reachabilityGraph |
protected org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
semantics |
Constructor and Description |
---|
AbstractLivenessAnalyzer() |
Modifier and Type | Method and Description |
---|---|
protected org.processmining.models.graphbased.directed.petrinet.analysis.NetAnalysisInformation.LIVENESS |
analyzeLivenessOnFreeChoiceNet(org.processmining.models.semantics.petrinet.Marking state,
org.processmining.models.graphbased.directed.petrinet.analysis.SiphonSet siphonSet,
org.processmining.models.graphbased.directed.petrinet.analysis.TrapSet trapSet)
Method to analyze Liveness, given that the net is free-choice.
|
protected void |
analyzeLivenessOnNonFreeChoicePetriNet(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.semantics.petrinet.Marking marking,
org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph,
org.processmining.models.semantics.petrinet.Marking... allowedFinalMarkings) |
protected void |
analyzeLivenessPetriNetPrivate(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.semantics.petrinet.Marking state,
org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph,
org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition> semantics,
org.processmining.models.semantics.petrinet.Marking... finalMarkings)
Method to analyze liveness of any kind of petri net given a net, a
marking, a semantic, and reachability graph
|
protected void |
colorBackwards(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph,
org.processmining.models.graphbased.directed.transitionsystem.State state,
java.util.Collection<org.processmining.models.graphbased.directed.transitionsystem.State> newCollection,
java.util.Collection<org.processmining.models.graphbased.directed.transitionsystem.State> oldCollection,
org.processmining.models.graphbased.directed.transitionsystem.State initialState) |
protected org.processmining.models.graphbased.directed.petrinet.analysis.NonLiveSequences |
getNonLiveSequences(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.semantics.petrinet.Marking marking,
org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph,
org.processmining.models.semantics.petrinet.Marking... allowedFinalMarkings) |
protected org.processmining.models.graphbased.directed.petrinet.analysis.NonLiveTransitionsSet |
getNonLiveTransitions(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.semantics.petrinet.Marking marking,
org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph) |
protected org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition> semantics
protected org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph
protected org.processmining.models.semantics.petrinet.Marking[] finalMarkings
protected org.processmining.models.graphbased.directed.petrinet.analysis.NetAnalysisInformation.LIVENESS info
protected org.processmining.models.graphbased.directed.petrinet.analysis.NonLiveTransitionsSet nonLiveTrans
protected org.processmining.models.graphbased.directed.petrinet.analysis.NonLiveSequences nonLiveSequences
protected void analyzeLivenessPetriNetPrivate(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph, org.processmining.models.semantics.Semantics<org.processmining.models.semantics.petrinet.Marking,org.processmining.models.graphbased.directed.petrinet.elements.Transition> semantics, org.processmining.models.semantics.petrinet.Marking... finalMarkings) throws org.processmining.framework.connections.ConnectionCannotBeObtained
context
- context of the netnet
- net to be analyzedstate
- initial state (initial marking)reachabilityGraph
- reachability graph of this net and markingsemantics
- semantics of this netjava.lang.Exception
org.processmining.framework.connections.ConnectionCannotBeObtained
protected org.processmining.models.graphbased.directed.petrinet.analysis.NetAnalysisInformation.LIVENESS analyzeLivenessOnFreeChoiceNet(org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.graphbased.directed.petrinet.analysis.SiphonSet siphonSet, org.processmining.models.graphbased.directed.petrinet.analysis.TrapSet trapSet)
state
- initial markingsiphonSet
- set of siphontrapSet
- set of trapprotected void analyzeLivenessOnNonFreeChoicePetriNet(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.semantics.petrinet.Marking marking, org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph, org.processmining.models.semantics.petrinet.Marking... allowedFinalMarkings)
protected org.processmining.models.graphbased.directed.petrinet.analysis.NonLiveTransitionsSet getNonLiveTransitions(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.semantics.petrinet.Marking marking, org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph)
protected org.processmining.models.graphbased.directed.petrinet.analysis.NonLiveSequences getNonLiveSequences(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.semantics.petrinet.Marking marking, org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph, org.processmining.models.semantics.petrinet.Marking... allowedFinalMarkings)
protected void colorBackwards(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph, org.processmining.models.graphbased.directed.transitionsystem.State state, java.util.Collection<org.processmining.models.graphbased.directed.transitionsystem.State> newCollection, java.util.Collection<org.processmining.models.graphbased.directed.transitionsystem.State> oldCollection, org.processmining.models.graphbased.directed.transitionsystem.State initialState)