public class Uma_UnfoldPN
extends java.lang.Object
| 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 and Description |
|---|
Uma_UnfoldPN() |
| 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) |
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
org.processmining.framework.connections.ConnectionCannotBeObtainedjava.lang.Exceptionpublic 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
org.processmining.framework.connections.ConnectionCannotBeObtainedjava.lang.Exceptionpublic 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
org.processmining.framework.connections.ConnectionCannotBeObtainedjava.lang.Exceptionpublic static java.lang.String test_UMA_UnfoldPN_standardParametersUnfold()
public static java.lang.String test_UMA_UnfoldPN_standardParametersSoundnessFC()