Class PNRunNetBuilder


  • public class PNRunNetBuilder
    extends java.lang.Object
    • Constructor Summary

      Constructors 
      Constructor Description
      PNRunNetBuilder​(org.processmining.models.graphbased.directed.petrinet.Petrinet pn, java.lang.String labelCausalNet)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      PNRun getRun()  
      void processInitMarking​(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Place> initMarking)  
      void processTransition​(org.processmining.models.graphbased.directed.petrinet.Petrinet pn, org.processmining.models.graphbased.directed.petrinet.elements.Transition t, int alignIndex)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • PNRunNetBuilder

        public PNRunNetBuilder​(org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
                               java.lang.String labelCausalNet)
    • Method Detail

      • processInitMarking

        public void processInitMarking​(java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Place> initMarking)
      • processTransition

        public void processTransition​(org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
                                      org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
                                      int alignIndex)
      • getRun

        public PNRun getRun()