Package org.processmining.plugins.stochasticpetrinet.external

Class PetrinetWithMapping

  • public class PetrinetWithMapping
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      PetrinetWithMapping​(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method 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)  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • PetrinetWithMapping

        public PetrinetWithMapping​(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)

    • Method Detail

      • constructMapping

        public void constructMapping()

      • getPromNet

        public org.processmining.models.graphbased.directed.petrinet.PetrinetGraph getPromNet()

      • setPromNet

        public void setPromNet​(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph promNet)

      • getJbptNet

        public org.jbpt.petri.PetriNet getJbptNet()

      • setJbptNet

        public void setJbptNet​(org.jbpt.petri.PetriNet jbptNet)

      • getTransitionMapping

        public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.jbpt.petri.Transition> getTransitionMapping()

      • setTransitionMapping

        public void setTransitionMapping​(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.jbpt.petri.Transition> transitionMapping)

      • getPlaceMapping

        public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​org.jbpt.petri.Place> getPlaceMapping()

      • setPlaceMapping

        public void setPlaceMapping​(java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​org.jbpt.petri.Place> placeMapping)