public class PetrinetWithMapping
extends java.lang.Object
Constructor and Description |
---|
PetrinetWithMapping(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net) |
Modifier and Type | Method and Description |
---|---|
void |
constructMapping() |
org.jbpt.petri.PetriNet |
getJbptNet() |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.jbpt.petri.Place> |
getPlaceMapping() |
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph |
getPromNet() |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.jbpt.petri.Transition> |
getTransitionMapping() |
void |
setJbptNet(org.jbpt.petri.PetriNet jbptNet) |
void |
setPlaceMapping(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.jbpt.petri.Place> placeMapping) |
void |
setPromNet(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph promNet) |
void |
setTransitionMapping(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.jbpt.petri.Transition> transitionMapping) |
public PetrinetWithMapping(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)
public void constructMapping()
public org.processmining.models.graphbased.directed.petrinet.PetrinetGraph getPromNet()
public void setPromNet(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph promNet)
public org.jbpt.petri.PetriNet getJbptNet()
public void setJbptNet(org.jbpt.petri.PetriNet jbptNet)
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.jbpt.petri.Transition> getTransitionMapping()
public void setTransitionMapping(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.jbpt.petri.Transition> transitionMapping)
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.jbpt.petri.Place> getPlaceMapping()
public void setPlaceMapping(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.jbpt.petri.Place> placeMapping)