org.processmining.plugins.petrinet.reduction
Class MurataRule

java.lang.Object
  extended by org.processmining.plugins.petrinet.reduction.MurataRule
Direct Known Subclasses:
MurataESP, MurataEST, MurataFPP, MurataFPT, MurataFSP, MurataFST

public abstract class MurataRule
extends java.lang.Object


Constructor Summary
MurataRule()
           
 
Method Summary
abstract  java.lang.String reduce(org.processmining.models.graphbased.directed.petrinet.Petrinet net, java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> sacredNodes, java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap, java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap, org.processmining.models.semantics.petrinet.Marking marking)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MurataRule

public MurataRule()
Method Detail

reduce

public abstract java.lang.String reduce(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                        java.util.Collection<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> sacredNodes,
                                        java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMap,
                                        java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap,
                                        org.processmining.models.semantics.petrinet.Marking marking)