org.processmining.plugins.petrinet.reduction

Class Murata

java.lang.Object

org.processmining.plugins.petrinet.reduction.Murata

public class Murata
extends java.lang.Object

Petri net reduction rules, based on Murata rules.

Version:

0.1

Author:

Eric Verbeek

Constructor Summary

Constructors

Constructor and Description
Murata()

Method Summary

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

Murata

public Murata()

Method Detail

run

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

Apply the Murata reduction rules until no further reductions are possible.

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

runWithoutMarking

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

Variant that only takes the Petri net, and uses the framework to get to an initial marking. Note that if the framework contains multiple initial markings for the Petri net, result may vary.

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

run

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

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

runPreserveSoundness

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

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

runPreserveSoundness

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

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

runPreserveBehavior

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

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

runPreserveBehavior

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

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

simplify

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

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

simplify

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

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

simplify

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

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

run

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

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

run

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

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

runWF

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

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

runWF

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

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

run

public MurataOutput run(org.processmining.framework.plugin.PluginContext context,
                        MurataInput input)
                 throws org.processmining.framework.connections.ConnectionCannotBeObtained

Apply the Murata reduction rules until no further reductions are possible.

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained

run

public MurataOutput run(org.processmining.framework.plugin.PluginContext context,
                        MurataInput input,
                        MurataParameters parameters)
                 throws org.processmining.framework.connections.ConnectionCannotBeObtained

Throws:

org.processmining.framework.connections.ConnectionCannotBeObtained