org.processmining.plugins.petrinet.structuralanalysis

Class FreeChoiceAnalyzer

java.lang.Object

org.processmining.plugins.petrinet.structuralanalysis.FreeChoiceAnalyzer

public class FreeChoiceAnalyzer
extends java.lang.Object

This class analyze whether a given net is a free choice-net, extended free choice net, or not both Based on Murata, Tadao, Fellow, Lee. Petri Nets: Properties, Analysis, and Applications.

Version:

Dec 6, 2008

Author:

arya

Constructor Summary

Constructors

Constructor and Description
FreeChoiceAnalyzer()

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.Object[]	analyzeFCAndEFCProperty(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.InhibitorNet net)
java.lang.Object[]	analyzeFCAndEFCProperty(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
java.lang.Object[]	analyzeFCAndEFCProperty(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net)
java.lang.Object[]	analyzeFCAndEFCProperty(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.ResetNet net)
static org.processmining.models.graphbased.directed.petrinet.analysis.NonFreeChoiceClustersSet	getNFCClusters(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net) Main method to determine whether a given net is free choice or not.
static org.processmining.models.graphbased.directed.petrinet.analysis.NonExtendedFreeChoiceClustersSet	getNXFCClusters(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net) Main method to determine whether a given net is an extended free choice or not.

Methods inherited from class java.lang.Object

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

Constructor Detail

FreeChoiceAnalyzer

public FreeChoiceAnalyzer()

Method Detail

analyzeFCAndEFCProperty

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

Throws:

java.lang.Exception

analyzeFCAndEFCProperty

public java.lang.Object[] analyzeFCAndEFCProperty(org.processmining.framework.plugin.PluginContext context,
                                         org.processmining.models.graphbased.directed.petrinet.InhibitorNet net)
                                           throws java.lang.Exception

Throws:

java.lang.Exception

analyzeFCAndEFCProperty

public java.lang.Object[] analyzeFCAndEFCProperty(org.processmining.framework.plugin.PluginContext context,
                                         org.processmining.models.graphbased.directed.petrinet.ResetNet net)
                                           throws java.lang.Exception

Throws:

java.lang.Exception

analyzeFCAndEFCProperty

public java.lang.Object[] analyzeFCAndEFCProperty(org.processmining.framework.plugin.PluginContext context,
                                         org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net)
                                           throws java.lang.Exception

Throws:

java.lang.Exception

getNXFCClusters

public static org.processmining.models.graphbased.directed.petrinet.analysis.NonExtendedFreeChoiceClustersSet getNXFCClusters(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)

Main method to determine whether a given net is an extended free choice or not. Extended petri net is an ordinary petrinet so that (P1* intersect P2*) != null => p1* = p2* for all p1 and p2.

Parameters:

net - net to be analyzed

Returns:

the set of non-extended-free-choice clusters.

getNFCClusters

public static org.processmining.models.graphbased.directed.petrinet.analysis.NonFreeChoiceClustersSet getNFCClusters(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)

Main method to determine whether a given net is free choice or not. Free choice net is an ordinary net such that every arc from a place is either a unique outgoing arc or a unique incoming arc to a transition

Parameters:

net - net to be analyzed

Returns:

The set of non-free-choice clusters