Package org.processmining.plugins.petrinet.behavioralanalysis

Class LivenessAnalyzer

java.lang.Object

org.processmining.plugins.petrinet.behavioralanalysis.AbstractLivenessAnalyzer

org.processmining.plugins.petrinet.behavioralanalysis.LivenessAnalyzer

public class LivenessAnalyzer
extends AbstractLivenessAnalyzer

Class to analyze whether a given net is live based on Murata, Tadao. Petri Nets:Properties, Analysis, and Applications. Proceedings of the IEEE vol. 77, No.4, April 1989 . If a net is a free-choice net, it is live iff every siphon contains a marked traps. If it's not, construct a reachability graph. If it has all transitions and every leaf is the same as root node, the net is live.

Version:

Dec 10, 2008

Author:

arya

Field Summary

Fields inherited from class org.processmining.plugins.petrinet.behavioralanalysis.AbstractLivenessAnalyzer

finalMarkings, info, nonLiveSequences, nonLiveTrans, reachabilityGraph, semantics

Constructor Summary

Constructors

Constructor	Description
LivenessAnalyzer()

Method Summary

Modifier and Type	Method	Description
java.lang.Object[]	analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.InhibitorNet net, org.processmining.models.semantics.petrinet.Marking state)
java.lang.Object[]	analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.InhibitorNet net, org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph)
java.lang.Object[]	analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.InhibitorNet net, org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.semantics.petrinet.InhibitorNetSemantics semantics)
java.lang.Object[]	analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking state)	Variant of net and marking
java.lang.Object[]	analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph)	Variant of net, marking, and reachability graph
java.lang.Object[]	analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.semantics.petrinet.PetrinetSemantics semantics)	Variant of net, marking, and semantics
java.lang.Object[]	analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net, org.processmining.models.semantics.petrinet.Marking state)
java.lang.Object[]	analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net, org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph)
java.lang.Object[]	analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net, org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.semantics.petrinet.ResetInhibitorNetSemantics semantics)
java.lang.Object[]	analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.ResetNet net, org.processmining.models.semantics.petrinet.Marking state)
java.lang.Object[]	analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.ResetNet net, org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph)
java.lang.Object[]	analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.ResetNet net, org.processmining.models.semantics.petrinet.Marking state, org.processmining.models.semantics.petrinet.ResetNetSemantics semantics)

Methods inherited from class org.processmining.plugins.petrinet.behavioralanalysis.AbstractLivenessAnalyzer

analyzeLivenessOnFreeChoiceNet, analyzeLivenessOnNonFreeChoicePetriNet, analyzeLivenessPetriNetPrivate, colorBackwards, getNonLiveSequences, getNonLiveTransitions

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LivenessAnalyzer

public LivenessAnalyzer()

Method Detail

analyzeLivenessPetriNet

public java.lang.Object[] analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                  org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                  org.processmining.models.semantics.petrinet.Marking state)
                                           throws org.processmining.framework.connections.ConnectionCannotBeObtained

Variant of net and marking

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeLivenessPetriNet

public java.lang.Object[] analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                  org.processmining.models.graphbased.directed.petrinet.InhibitorNet net,
                                                  org.processmining.models.semantics.petrinet.Marking state)
                                           throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeLivenessPetriNet

public java.lang.Object[] analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                  org.processmining.models.graphbased.directed.petrinet.ResetNet net,
                                                  org.processmining.models.semantics.petrinet.Marking state)
                                           throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeLivenessPetriNet

public java.lang.Object[] analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                  org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net,
                                                  org.processmining.models.semantics.petrinet.Marking state)
                                           throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeLivenessPetriNet

public java.lang.Object[] analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                  org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                  org.processmining.models.semantics.petrinet.Marking state,
                                                  org.processmining.models.semantics.petrinet.PetrinetSemantics semantics)
                                           throws org.processmining.framework.connections.ConnectionCannotBeObtained

Variant of net, marking, and semantics

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeLivenessPetriNet

public java.lang.Object[] analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                  org.processmining.models.graphbased.directed.petrinet.InhibitorNet net,
                                                  org.processmining.models.semantics.petrinet.Marking state,
                                                  org.processmining.models.semantics.petrinet.InhibitorNetSemantics semantics)
                                           throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeLivenessPetriNet

public java.lang.Object[] analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                  org.processmining.models.graphbased.directed.petrinet.ResetNet net,
                                                  org.processmining.models.semantics.petrinet.Marking state,
                                                  org.processmining.models.semantics.petrinet.ResetNetSemantics semantics)
                                           throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeLivenessPetriNet

public java.lang.Object[] analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                  org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net,
                                                  org.processmining.models.semantics.petrinet.Marking state,
                                                  org.processmining.models.semantics.petrinet.ResetInhibitorNetSemantics semantics)
                                           throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeLivenessPetriNet

public java.lang.Object[] analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                  org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                  org.processmining.models.semantics.petrinet.Marking state,
                                                  org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph)
                                           throws org.processmining.framework.connections.ConnectionCannotBeObtained

Variant of net, marking, and reachability graph

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeLivenessPetriNet

public java.lang.Object[] analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                  org.processmining.models.graphbased.directed.petrinet.InhibitorNet net,
                                                  org.processmining.models.semantics.petrinet.Marking state,
                                                  org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph)
                                           throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeLivenessPetriNet

public java.lang.Object[] analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                  org.processmining.models.graphbased.directed.petrinet.ResetNet net,
                                                  org.processmining.models.semantics.petrinet.Marking state,
                                                  org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph)
                                           throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeLivenessPetriNet

public java.lang.Object[] analyzeLivenessPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                  org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net,
                                                  org.processmining.models.semantics.petrinet.Marking state,
                                                  org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph)
                                           throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained