org.processmining.plugins.petrinet.structuralanalysis

Class SiphonGenerator

java.lang.Object

org.processmining.plugins.petrinet.structuralanalysis.SiphonGenerator

public class SiphonGenerator
extends java.lang.Object

This class identify minimal siphon, based mainly from : Boer, Ermin R. and Murata, Tadao. (1992). Sign Incidence Matrix and Generation of Basis Siphons and Traps of Petri Nets. IEEE International Conference on Systems, Man, and Cybernetic.pp.632-637.

Version:

Oct 18, 2008

Author:

arya

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	SiphonGenerator.ExpansionItem

Constructor Summary

Constructors

Constructor and Description
SiphonGenerator()

Method Summary

Methods

Modifier and Type	Method and Description
org.processmining.models.graphbased.directed.petrinet.analysis.SiphonSet	calculateSiphons(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.InhibitorNet net)
org.processmining.models.graphbased.directed.petrinet.analysis.SiphonSet	calculateSiphons(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net)

Methods inherited from class java.lang.Object

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

Constructor Detail

SiphonGenerator

public SiphonGenerator()

Method Detail

calculateSiphons

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

Throws:

java.lang.Exception

calculateSiphons

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

Throws:

java.lang.Exception