public class FreeChoiceAnalyzer
extends java.lang.Object
Constructor and Description |
---|
FreeChoiceAnalyzer() |
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.
|
public java.lang.Object[] analyzeFCAndEFCProperty(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net) throws java.lang.Exception
java.lang.Exception
public java.lang.Object[] analyzeFCAndEFCProperty(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.InhibitorNet net) throws java.lang.Exception
java.lang.Exception
public java.lang.Object[] analyzeFCAndEFCProperty(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.ResetNet net) throws java.lang.Exception
java.lang.Exception
public java.lang.Object[] analyzeFCAndEFCProperty(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet net) throws java.lang.Exception
java.lang.Exception
public static org.processmining.models.graphbased.directed.petrinet.analysis.NonExtendedFreeChoiceClustersSet getNXFCClusters(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
net
- net to be analyzedpublic static org.processmining.models.graphbased.directed.petrinet.analysis.NonFreeChoiceClustersSet getNFCClusters(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
net
- net to be analyzed