Package org.processmining.plugins.petrinet.structuralanalysis

Class PTHandlesGenerator

java.lang.Object

org.processmining.plugins.petrinet.structuralanalysis.PTHandlesGenerator

public class PTHandlesGenerator
extends java.lang.Object

Class to identify PT Handler from a given net(if there is any) PT Handle refers to J. Esparza and M. Silva. Circuits, Handles, Bridges and Nets. In G. Rozenberg, editor, Advances in Petri Nets 1990, volume 483 of Lecture Notes in Computer Science, pages 210 - 242. Springer - Verlag, Berlin, 1990

Version:

Dec 8, 2008

Author:

arya

Constructor Summary

Constructors

Constructor	Description
PTHandlesGenerator()

Method Summary

Modifier and Type	Method	Description
org.processmining.models.graphbased.directed.petrinet.analysis.PTHandles	analyzePTHandles(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.InhibitorNet net)
org.processmining.models.graphbased.directed.petrinet.analysis.PTHandles	analyzePTHandles(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
org.processmining.models.graphbased.directed.petrinet.analysis.PTHandles	analyzePTHandles(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net)
org.processmining.models.graphbased.directed.petrinet.analysis.PTHandles	analyzePTHandles(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.ResetNet net)
org.processmining.models.graphbased.directed.petrinet.analysis.PTHandles	analyzePTHandlesMain(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)	Main method to analyze P-T Handle (with context)
org.processmining.models.graphbased.directed.petrinet.analysis.PTHandles	identifyPTHandles(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)	Main method to identify PT Handles in a net.
boolean	pathsMoreThan1(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetNode node1, org.processmining.models.graphbased.directed.petrinet.PetrinetNode node2, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)	Return true if there are more than one paths to go from node1 to node2.

Methods inherited from class java.lang.Object

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

Constructor Detail

PTHandlesGenerator

public PTHandlesGenerator()

Method Detail

analyzePTHandles

public org.processmining.models.graphbased.directed.petrinet.analysis.PTHandles analyzePTHandles(org.processmining.framework.plugin.PluginContext context,
                                                                                                 org.processmining.models.graphbased.directed.petrinet.Petrinet net)
                                                                                          throws java.lang.Exception

Throws:

java.lang.Exception

analyzePTHandles

public org.processmining.models.graphbased.directed.petrinet.analysis.PTHandles analyzePTHandles(org.processmining.framework.plugin.PluginContext context,
                                                                                                 org.processmining.models.graphbased.directed.petrinet.InhibitorNet net)
                                                                                          throws java.lang.Exception

Throws:

java.lang.Exception

analyzePTHandles

public org.processmining.models.graphbased.directed.petrinet.analysis.PTHandles analyzePTHandles(org.processmining.framework.plugin.PluginContext context,
                                                                                                 org.processmining.models.graphbased.directed.petrinet.ResetNet net)
                                                                                          throws java.lang.Exception

Throws:

java.lang.Exception

analyzePTHandles

public org.processmining.models.graphbased.directed.petrinet.analysis.PTHandles analyzePTHandles(org.processmining.framework.plugin.PluginContext context,
                                                                                                 org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net)
                                                                                          throws java.lang.Exception

Throws:

java.lang.Exception

analyzePTHandlesMain

public org.processmining.models.graphbased.directed.petrinet.analysis.PTHandles analyzePTHandlesMain(org.processmining.framework.plugin.PluginContext context,
                                                                                                     org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)

Main method to analyze P-T Handle (with context)

Parameters:

context - context of the net

net - net to be analyzed

Returns:

PTHandles P-T Handle in the net

identifyPTHandles

public org.processmining.models.graphbased.directed.petrinet.analysis.PTHandles identifyPTHandles(org.processmining.framework.plugin.PluginContext context,
                                                                                                  org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)

Main method to identify PT Handles in a net. PTHandles are in form of pair of Place-Transition

Parameters:

net - net to be analyzed

Returns:

PTHandles P-T Handle of the net

pathsMoreThan1

public boolean pathsMoreThan1(org.processmining.framework.plugin.PluginContext context,
                              org.processmining.models.graphbased.directed.petrinet.PetrinetNode node1,
                              org.processmining.models.graphbased.directed.petrinet.PetrinetNode node2,
                              org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)

Return true if there are more than one paths to go from node1 to node2. Paths must not intersect each other. This method is similar with the one implemented in TPHandlesGenerator class

Parameters:

node1 -

node2 -

net - net to be analyzed

Returns:

boolean true if adjacent path from node1 to node2 is more than 1, false if not