public class PetriNetMapL
extends java.lang.Object
Constructor and Description |
---|
PetriNetMapL(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet) |
PetriNetMapL(PetriNetMapL pnmap) |
Modifier and Type | Method and Description |
---|---|
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getMapPlaces() |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getMapTransitions() |
org.processmining.models.graphbased.directed.petrinet.elements.Place |
getOriginalPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place p) |
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
getOriginalTran(org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
org.processmining.models.graphbased.directed.petrinet.Petrinet |
getPetriNet() |
void |
setMapPlaces(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> mapPlaces) |
void |
setMapTransitions(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> mapTransitions) |
void |
setPetriNet(org.processmining.models.graphbased.directed.petrinet.Petrinet petriNet) |
public PetriNetMapL(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet)
public PetriNetMapL(PetriNetMapL pnmap)
public org.processmining.models.graphbased.directed.petrinet.Petrinet getPetriNet()
public void setPetriNet(org.processmining.models.graphbased.directed.petrinet.Petrinet petriNet)
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> getMapPlaces()
public void setMapPlaces(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> mapPlaces)
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> getMapTransitions()
public void setMapTransitions(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> mapTransitions)
public org.processmining.models.graphbased.directed.petrinet.elements.Transition getOriginalTran(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
public org.processmining.models.graphbased.directed.petrinet.elements.Place getOriginalPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place p)