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
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 |
Murata
public Murata()
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