org.processmining.plugins.uma

Class Uma_SimplifyModel

java.lang.Object

org.processmining.plugins.uma.Uma_SimplifyModel

public class Uma_SimplifyModel
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

Constructor Summary

Constructors

Constructor and Description
Uma_SimplifyModel()

Method Summary

Modifier and Type	Method and Description
protected static java.lang.Object[]	cancel(org.processmining.framework.plugin.PluginContext context, java.lang.String message)
java.lang.Object[]	simplifyNet(org.processmining.framework.plugin.PluginContext context, org.deckfour.xes.model.XLog log, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initMarking, hub.top.uma.view.MineSimplify.Configuration config, org.deckfour.xes.classification.XEventClassifier classifier) Wrapper for calling #simplifyNet(PluginContext, XLog, Petrinet, Marking) to construct a simplified net that can replay the entire log by unfolding the net, simplifying the unfolding, and folding the result back to a model.
java.lang.Object[]	simplifyNet(org.processmining.contexts.uitopia.UIPluginContext context, org.deckfour.xes.model.XLog log, org.processmining.models.graphbased.directed.petrinet.Petrinet net)
java.lang.Object[]	simplifyNet(org.processmining.contexts.uitopia.UIPluginContext context, org.deckfour.xes.model.XLog log, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initMarking)
static java.lang.String	test_UMA_SimplifyModel_standardConfiguration_file()
static java.lang.String	test_UMA_SimplifyModel_standardConfiguration()

Methods inherited from class java.lang.Object

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

Constructor Detail

Uma_SimplifyModel

public Uma_SimplifyModel()

Method Detail

simplifyNet

public java.lang.Object[] simplifyNet(org.processmining.contexts.uitopia.UIPluginContext context,
                                      org.deckfour.xes.model.XLog log,
                                      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

simplifyNet

public java.lang.Object[] simplifyNet(org.processmining.contexts.uitopia.UIPluginContext context,
                                      org.deckfour.xes.model.XLog log,
                                      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

simplifyNet

public java.lang.Object[] simplifyNet(org.processmining.framework.plugin.PluginContext context,
                                      org.deckfour.xes.model.XLog log,
                                      org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                      org.processmining.models.semantics.petrinet.Marking initMarking,
                                      hub.top.uma.view.MineSimplify.Configuration config,
                                      org.deckfour.xes.classification.XEventClassifier classifier)
                               throws org.processmining.framework.connections.ConnectionCannotBeObtained,
                                      java.lang.Exception

Wrapper for calling #simplifyNet(PluginContext, XLog, Petrinet, Marking) to construct a simplified net that can replay the entire log by unfolding the net, simplifying the unfolding, and folding the result back to a model.

Parameters:

context -

log -

net -

initMarking -

config -

Returns:

a simplified Petri net that can replay the entire log

Throws:

java.lang.Exception

org.processmining.framework.connections.ConnectionCannotBeObtained

cancel

protected static java.lang.Object[] cancel(org.processmining.framework.plugin.PluginContext context,
                                           java.lang.String message)

test_UMA_SimplifyModel_standardConfiguration

public static java.lang.String test_UMA_SimplifyModel_standardConfiguration()

test_UMA_SimplifyModel_standardConfiguration_file

public static java.lang.String test_UMA_SimplifyModel_standardConfiguration_file()