public class MurataFST extends MurataRule
Constructor and Description |
---|
MurataFST() |
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) |
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)
reduce
in class MurataRule
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.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)
reduce
in class MurataRule