org.processmining.plugins.uma

Class Uma_UnfoldPN

java.lang.Object

org.processmining.plugins.uma.Uma_UnfoldPN

public class Uma_UnfoldPN
extends java.lang.Object

Class to invoke Uma (an Unfolding-based Model Analyzer) to compute a complete finite prefix of an unfolding of a given Petri net

Version:

Mar 23, 2010

Author:

Dirk Fahland

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Uma_UnfoldPN.UnfoldingConfiguration Parameter class to configure the unfolding algorithm either by command-line or by user interface.

Constructor Summary

Constructors

Constructor and Description
Uma_UnfoldPN()

Method Summary

Modifier and Type	Method and Description
static java.lang.String	test_UMA_UnfoldPN_standardParametersSoundnessFC()
static java.lang.String	test_UMA_UnfoldPN_standardParametersUnfold()
org.processmining.models.graphbased.directed.petrinet.Petrinet	unfoldPetrinet(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initMarking, Uma_UnfoldPN.UnfoldingConfiguration config)
org.processmining.models.graphbased.directed.petrinet.Petrinet	unfoldPetrinet(org.processmining.contexts.uitopia.UIPluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
org.processmining.models.graphbased.directed.petrinet.Petrinet	unfoldPetrinet(org.processmining.contexts.uitopia.UIPluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initMarking)

Methods inherited from class java.lang.Object

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

Constructor Detail

Uma_UnfoldPN

public Uma_UnfoldPN()

Method Detail

unfoldPetrinet

public org.processmining.models.graphbased.directed.petrinet.Petrinet unfoldPetrinet(org.processmining.contexts.uitopia.UIPluginContext context,
                                                                                     org.processmining.models.graphbased.directed.petrinet.Petrinet net)
                                                                              throws org.processmining.framework.connections.ConnectionCannotBeObtained,
                                                                                     java.lang.Exception

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

java.lang.Exception

unfoldPetrinet

public org.processmining.models.graphbased.directed.petrinet.Petrinet unfoldPetrinet(org.processmining.contexts.uitopia.UIPluginContext context,
                                                                                     org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                                                     org.processmining.models.semantics.petrinet.Marking initMarking)
                                                                              throws org.processmining.framework.connections.ConnectionCannotBeObtained,
                                                                                     java.lang.Exception

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

java.lang.Exception

unfoldPetrinet

public org.processmining.models.graphbased.directed.petrinet.Petrinet unfoldPetrinet(org.processmining.framework.plugin.PluginContext context,
                                                                                     org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                                                     org.processmining.models.semantics.petrinet.Marking initMarking,
                                                                                     Uma_UnfoldPN.UnfoldingConfiguration config)
                                                                              throws org.processmining.framework.connections.ConnectionCannotBeObtained,
                                                                                     java.lang.Exception

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

java.lang.Exception

test_UMA_UnfoldPN_standardParametersUnfold

public static java.lang.String test_UMA_UnfoldPN_standardParametersUnfold()

test_UMA_UnfoldPN_standardParametersSoundnessFC

public static java.lang.String test_UMA_UnfoldPN_standardParametersSoundnessFC()