org.processmining.plugins.petrinet.structuralanalysis

Class SComponentGenerator

java.lang.Object

org.processmining.plugins.petrinet.structuralanalysis.SComponentGenerator

public class SComponentGenerator
extends java.lang.Object

Class to decompose petri net into its S-components (if there is any) this implementation based on characteristic of place invariants: "any S-component consists of the support of a minimal support P-invariant and the transitions adjacent to these places" Taken from : D. Hauschildt, E. Verbeek and W. van der Aalst. WOFLAN: A Petri-net-based Workflow Analyzer. Computing Science Reports 97/12. Eindhoven, August 1997. p24.

Version:

Nov 2, 2008

Author:

arya

Constructor Summary

Constructors

Constructor and Description
SComponentGenerator()

Method Summary

Methods

Modifier and Type	Method and Description
org.processmining.models.graphbased.directed.petrinet.analysis.SComponentSet	calculateSComponentsInhibitorNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.InhibitorNet net)
org.processmining.models.graphbased.directed.petrinet.analysis.SComponentSet	calculateSComponentsInhibitorNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.InhibitorNet net, org.processmining.models.graphbased.directed.petrinet.analysis.PlaceInvariantSet invMarking)
org.processmining.models.graphbased.directed.petrinet.analysis.SComponentSet	calculateSComponentsPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
org.processmining.models.graphbased.directed.petrinet.analysis.SComponentSet	calculateSComponentsPetriNet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.graphbased.directed.petrinet.analysis.PlaceInvariantSet invMarking)

Methods inherited from class java.lang.Object

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

Constructor Detail

SComponentGenerator

public SComponentGenerator()

Method Detail

calculateSComponentsPetriNet

public org.processmining.models.graphbased.directed.petrinet.analysis.SComponentSet calculateSComponentsPetriNet(org.processmining.framework.plugin.PluginContext context,
                                                                                                        org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                                                                        org.processmining.models.graphbased.directed.petrinet.analysis.PlaceInvariantSet invMarking)
                                                                                                          throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

calculateSComponentsInhibitorNet

public org.processmining.models.graphbased.directed.petrinet.analysis.SComponentSet calculateSComponentsInhibitorNet(org.processmining.framework.plugin.PluginContext context,
                                                                                                            org.processmining.models.graphbased.directed.petrinet.InhibitorNet net,
                                                                                                            org.processmining.models.graphbased.directed.petrinet.analysis.PlaceInvariantSet invMarking)
                                                                                                              throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

calculateSComponentsPetriNet

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

calculateSComponentsInhibitorNet

public org.processmining.models.graphbased.directed.petrinet.analysis.SComponentSet calculateSComponentsInhibitorNet(org.processmining.framework.plugin.PluginContext context,
                                                                                                            org.processmining.models.graphbased.directed.petrinet.InhibitorNet net)
                                                                                                              throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained