org.processmining.plugins.petrinet.behavioralanalysis

Class DeadTransitionAnalyzer

java.lang.Object

org.processmining.plugins.petrinet.behavioralanalysis.DeadTransitionAnalyzer

public class DeadTransitionAnalyzer
extends java.lang.Object

This class analyze dead transitions in a given net Based on coverability graph written by Murata, Tadao. Petri Nets:Properties, Analysis, and Applications. Proceedings of the IEEE vol. 77, No.4, April 1989. A transition T is dead iff it does not appear as an arc label in a coverability graph's transition

Version:

Nov 8, 2008

Author:

arya

Constructor Summary

Constructors

Constructor and Description
DeadTransitionAnalyzer()

Method Summary

Methods

Modifier and Type	Method and Description
org.processmining.models.graphbased.directed.petrinet.analysis.DeadTransitionsSet	analyzeDeadTransitionPetriNet(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.petrinet.analysis.DeadTransitionsSet	analyzeDeadTransitionPetriNet(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.CoverabilityGraph graph)
org.processmining.models.graphbased.directed.petrinet.analysis.DeadTransitionsSet	analyzeDeadTransitionPetriNet(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)

Methods inherited from class java.lang.Object

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

Constructor Detail

DeadTransitionAnalyzer

public DeadTransitionAnalyzer()

Method Detail

analyzeDeadTransitionPetriNet

public org.processmining.models.graphbased.directed.petrinet.analysis.DeadTransitionsSet analyzeDeadTransitionPetriNet(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.CoverabilityGraph graph)
                                                                                                                throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeDeadTransitionPetriNet

public org.processmining.models.graphbased.directed.petrinet.analysis.DeadTransitionsSet analyzeDeadTransitionPetriNet(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

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeDeadTransitionPetriNet

public org.processmining.models.graphbased.directed.petrinet.analysis.DeadTransitionsSet analyzeDeadTransitionPetriNet(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

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained