org.processmining.plugins.petrinet.reduction
Class MurataFST

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

public class MurataFST
extends MurataRule


Constructor Summary
MurataFST()
           
 
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)
          Apply the FST rule once, if possible.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MurataFST

public MurataFST()
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)
Apply the FST rule once, if possible.

Specified by:
reduce in class MurataRule
Parameters:
net - The net to check the FST rule on.
sacredNodes - Nodes in the given net to leave alone.
transitionMap - Map from original transitions to reduced transitions.
placeMap - Map from original places to reduced places.
marking - Current marking of the given net.
Returns:
null if FST rule could not be applied. Otherwise short description of how the rule was applied.