org.processmining.plugins.petrinet.reduction

Class MurataFST

java.lang.Object

org.processmining.plugins.petrinet.reduction.MurataRule

org.processmining.plugins.petrinet.reduction.MurataFST

public class MurataFST
extends MurataRule

Constructor Summary

Constructors

Constructor and Description
MurataFST()

Method Summary

Modifier and Type	Method and Description
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.
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, MurataParameters parameters)

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.

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,
                               MurataParameters parameters)

Specified by:

reduce in class MurataRule