|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.plugins.petrinet.reduction.MurataOutput
public class MurataOutput
General output of Petri net reduction rules.
Constructor Summary | |
---|---|
MurataOutput(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
org.processmining.models.semantics.petrinet.Marking marking)
Constructs a new MurataOutput, given the reduced Petri net and its marking. |
Method Summary | |
---|---|
java.util.ArrayList<java.lang.String> |
getLog()
Gets the log. |
org.processmining.models.semantics.petrinet.Marking |
getMarking()
Gets the marking of the reduced Petri net. |
org.processmining.models.graphbased.directed.petrinet.Petrinet |
getNet()
Gets the reduced Petri net. |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getPlaceMapping()
Sets the place mapping. |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getTransitionMapping()
|
void |
setPlaceMapping(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMapping)
Sets the transition mapping. |
void |
setTransitionMapping(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMapping)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public MurataOutput(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking marking)
net
- The reduced Petri net.marking
- The marking of the reduced Petri net.Method Detail |
---|
public org.processmining.models.graphbased.directed.petrinet.Petrinet getNet()
public org.processmining.models.semantics.petrinet.Marking getMarking()
public java.util.ArrayList<java.lang.String> getLog()
public void setTransitionMapping(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionMapping)
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> getTransitionMapping()
public void setPlaceMapping(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMapping)
transitionMapping
- the transition mapping from the input net to the output netpublic java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> getPlaceMapping()
placeMapping
- the place mapping from the input net to the output net
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |