|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.plugins.petrinet.reduction.MurataRule
org.processmining.plugins.petrinet.reduction.MurataFST
public class MurataFST
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 |
---|
public MurataFST()
Method Detail |
---|
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.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |