Package org.processmining.plugins.petrinet.structuralanalysis

Class TPHandlesGenerator

java.lang.Object

org.processmining.plugins.petrinet.structuralanalysis.TPHandlesGenerator

public class TPHandlesGenerator
extends java.lang.Object

Class to identify TP Handles from a given net(if there is any) TP 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
TPHandlesGenerator()

Method Summary

Modifier and Type	Method	Description
org.processmining.models.graphbased.directed.petrinet.analysis.TPHandles	analyzeTPHandles(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.InhibitorNet net)
org.processmining.models.graphbased.directed.petrinet.analysis.TPHandles	analyzeTPHandles(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
org.processmining.models.graphbased.directed.petrinet.analysis.TPHandles	analyzeTPHandles(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net)
org.processmining.models.graphbased.directed.petrinet.analysis.TPHandles	analyzeTPHandles(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.ResetNet net)
org.processmining.models.graphbased.directed.petrinet.analysis.TPHandles	analyzeTPHandlesMain(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)	Main method to analyze T-P Handle (with context)
org.processmining.models.graphbased.directed.petrinet.analysis.TPHandles	identifyTPHandles(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)	Main method to identify T-P 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

TPHandlesGenerator

public TPHandlesGenerator()

Method Detail

analyzeTPHandles

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

Throws:

java.lang.Exception

analyzeTPHandles

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

Throws:

java.lang.Exception

analyzeTPHandles

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

Throws:

java.lang.Exception

analyzeTPHandles

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

Throws:

java.lang.Exception

analyzeTPHandlesMain

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

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

Parameters:

context - context of the net

net - net to be analyzed

Returns:

TPHandles T-P Handle in the net

Throws:

java.lang.Exception

identifyTPHandles

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

Main method to identify T-P Handles in a net. TPHandles are in form of pair of Transition-Place

Parameters:

net - net to be analyzed

context -

Returns:

TPHandles T-P Handle in 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 PTHandlesGenerator 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