org.processmining.plugins.petrinet.reduction
Class MurataFSP

java.lang.Object
  extended by org.processmining.plugins.petrinet.reduction.MurataRule
      extended by org.processmining.plugins.petrinet.reduction.MurataFSP

public class MurataFSP
extends MurataRule


Constructor Summary
MurataFSP()
           
 
Method Summary
 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

MurataFSP

public MurataFSP()
Method Detail

reduce

public 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)
Specified by:
reduce in class MurataRule