org.processmining.plugins.petrinet.behavioralanalysis

Class BoundednessAnalyzer

java.lang.Object

org.processmining.plugins.petrinet.behavioralanalysis.BoundednessAnalyzer

public class BoundednessAnalyzer
extends java.lang.Object

Class to analyze whether a given PetriNet is bounded Based on Murata, Tadao. Petri Nets:Properties, Analysis, and Applications. Proceedings of the IEEE vol. 77, No.4, April 1989 a net is bounded iff omega notation does not appear in a any node labels in coverability graph

Version:

Dec 13, 2008

Author:

arya

Constructor Summary

Constructors

Constructor and Description
BoundednessAnalyzer()

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.Object[]	analyzeBoundednessPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
java.lang.Object[]	analyzeBoundednessPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking state)
java.lang.Object[]	analyzeBoundednessPetriNet(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.CoverabilitySet covSet, org.processmining.models.semantics.petrinet.PetrinetSemantics semantics)
java.lang.Object[]	analyzeBoundednessPetriNet(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)
static boolean	isBounded(org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph graph) Static method to check boundedness, given a coverability graph

Methods inherited from class java.lang.Object

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

Constructor Detail

BoundednessAnalyzer

public BoundednessAnalyzer()

Method Detail

analyzeBoundednessPetriNet

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

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

analyzeBoundednessPetriNet

public java.lang.Object[] analyzeBoundednessPetriNet(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

analyzeBoundednessPetriNet

public java.lang.Object[] analyzeBoundednessPetriNet(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

analyzeBoundednessPetriNet

public java.lang.Object[] analyzeBoundednessPetriNet(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.CoverabilitySet covSet,
                                            org.processmining.models.semantics.petrinet.PetrinetSemantics semantics)
                                              throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

isBounded

public static boolean isBounded(org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph graph)

Static method to check boundedness, given a coverability graph

Parameters:

graph - Coverability graph

Returns:

true if the net is bounded, false if it is not