org.processmining.plugins.petrinet.reduction
Class Murata

java.lang.Object
  extended by 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
Murata()
           
 
Method Summary
 MurataOutput run(org.processmining.framework.plugin.PluginContext context, MurataInput input)
          Apply the Murata reduction rules until no further reductions are possible.
 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.
 
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

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 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