public class MurataOutput
extends java.lang.Object
Constructor and Description |
---|
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.
|
Modifier and Type | Method and Description |
---|---|
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) |
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.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