Package org.processmining.logfiltering.Juan.algo.Juan

Class PetriNetTools

  • public class PetriNetTools
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      PetriNetTools​(org.processmining.models.graphbased.directed.petrinet.Petrinet petriNet, java.util.HashMap<java.lang.String,​java.lang.String> ActivityCoder)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.HashMap<java.lang.String,​java.lang.String> getActivityCoder()  
      org.processmining.models.semantics.petrinet.Marking getFinalMarking()  
      org.processmining.models.semantics.petrinet.Marking getInitialMarking()  
      org.processmining.models.graphbased.directed.petrinet.Petrinet getNet()  
      java.lang.String getNetActivities()  
      java.util.HashMap<java.lang.String,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> getReverseTransCoder()  
      java.lang.String getTauTrans()  
      java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.lang.String> getTransCoder()  
      org.apache.commons.collections4.multimap.ArrayListValuedHashMap<java.lang.String,​java.lang.String> getVisSucc()  
      void setTauTrans​(java.lang.String tauTrans)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • PetriNetTools

        public PetriNetTools​(org.processmining.models.graphbased.directed.petrinet.Petrinet petriNet,
                     java.util.HashMap<java.lang.String,​java.lang.String> ActivityCoder)

    • Method Detail

      • getTauTrans

        public java.lang.String getTauTrans()

      • setTauTrans

        public void setTauTrans​(java.lang.String tauTrans)

      • getVisSucc

        public org.apache.commons.collections4.multimap.ArrayListValuedHashMap<java.lang.String,​java.lang.String> getVisSucc()

      • getNet

        public org.processmining.models.graphbased.directed.petrinet.Petrinet getNet()

      • getActivityCoder

        public java.util.HashMap<java.lang.String,​java.lang.String> getActivityCoder()

      • getTransCoder

        public java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.lang.String> getTransCoder()

      • getReverseTransCoder

        public java.util.HashMap<java.lang.String,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> getReverseTransCoder()

      • getInitialMarking

        public org.processmining.models.semantics.petrinet.Marking getInitialMarking()

      • getFinalMarking

        public org.processmining.models.semantics.petrinet.Marking getFinalMarking()

      • getNetActivities

        public java.lang.String getNetActivities()