public class Murata
extends java.lang.Object
Constructor and Description |
---|
Murata() |
Modifier and Type | Method and Description |
---|---|
MurataOutput |
run(org.processmining.framework.plugin.PluginContext context,
MurataInput input)
Apply the Murata reduction rules until no further reductions are
possible.
|
MurataOutput |
run(org.processmining.framework.plugin.PluginContext context,
MurataInput input,
MurataParameters parameters) |
org.processmining.models.graphbased.directed.petrinet.Petrinet |
run(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
java.lang.Object[] |
run(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking marking)
Apply the Murata reduction rules until no further reductions are
possible.
|
java.lang.Object[] |
run(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking marking,
MurataParameters parameters) |
org.processmining.models.graphbased.directed.petrinet.Petrinet |
run(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
MurataParameters parameters) |
java.lang.Object[] |
runPreserveBehavior(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
java.lang.Object[] |
runPreserveBehavior(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking marking) |
java.lang.Object[] |
runPreserveSoundness(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
java.lang.Object[] |
runPreserveSoundness(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking marking) |
org.processmining.models.graphbased.directed.petrinet.Petrinet |
runWF(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
org.processmining.models.graphbased.directed.petrinet.Petrinet |
runWF(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
MurataParameters parameters) |
java.lang.Object[] |
runWithoutMarking(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net)
Variant that only takes the Petri net, and uses the framework to get to an initial marking.
|
java.lang.Object[] |
simplify(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
java.lang.Object[] |
simplify(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking marking) |
java.lang.Object[] |
simplify(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking marking,
MurataParameters parameters) |
public java.lang.Object[] run(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking marking) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained
public java.lang.Object[] runWithoutMarking(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained
public java.lang.Object[] run(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking marking, MurataParameters parameters) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained
public java.lang.Object[] runPreserveSoundness(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking marking) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained
public java.lang.Object[] runPreserveSoundness(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained
public java.lang.Object[] runPreserveBehavior(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking marking) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained
public java.lang.Object[] runPreserveBehavior(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained
public java.lang.Object[] simplify(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking marking) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained
public java.lang.Object[] simplify(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained
public java.lang.Object[] simplify(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking marking, MurataParameters parameters) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained
public org.processmining.models.graphbased.directed.petrinet.Petrinet run(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained
public org.processmining.models.graphbased.directed.petrinet.Petrinet run(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, MurataParameters parameters) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained
public org.processmining.models.graphbased.directed.petrinet.Petrinet runWF(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained
public org.processmining.models.graphbased.directed.petrinet.Petrinet runWF(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.Petrinet net, MurataParameters parameters) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained
public MurataOutput run(org.processmining.framework.plugin.PluginContext context, MurataInput input) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained
public MurataOutput run(org.processmining.framework.plugin.PluginContext context, MurataInput input, MurataParameters parameters) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained