Class MyProcessModel


  • public class MyProcessModel
    extends java.lang.Object
    • Constructor Detail

      • MyProcessModel

        public MyProcessModel​(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
                              java.util.ArrayList<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions,
                              java.lang.String[] transitionNames)
      • MyProcessModel

        public MyProcessModel​(java.util.ArrayList<MyPlace> places,
                              java.lang.String[] transitions,
                              int numVariants)
    • Method Detail

      • addPlace

        public void addPlace​(MyPlace p)
      • addPlace

        public void addPlace​(java.util.ArrayList<MyPlace> placesToAdd)
      • clone

        public MyProcessModel clone()
        Overrides:
        clone in class java.lang.Object
      • updateAndPrintStatus

        public void updateAndPrintStatus​(MyLog log)
      • updateStatus

        public void updateStatus​(MyLog log)
      • printPlaceSummary

        public void printPlaceSummary​(MyLog log)
      • printPotentialPlaceSummary

        public void printPotentialPlaceSummary()
      • printDiscardedPlaceSummary

        public void printDiscardedPlaceSummary()
      • countLiveVariants

        public int countLiveVariants()
      • removeDeadTransitions

        public int removeDeadTransitions​(int transitionKey)
      • getPlaces

        public java.util.ArrayList<MyPlace> getPlaces()
      • setPlaces

        public void setPlaces​(java.util.ArrayList<MyPlace> places)
      • getTransitions

        public java.lang.String[] getTransitions()
      • getVariantVector

        public boolean[] getVariantVector()
      • getNumLiveTraces

        public int getNumLiveTraces​(MyLog log)
      • getPotentialPlaces

        public java.util.ArrayList<MyPlace> getPotentialPlaces()
      • setPotentialPlaces

        public void setPotentialPlaces​(java.util.ArrayList<MyPlace> potentialPlaces)
      • getDiscardedPlaces

        public java.util.ArrayList<MyPlace> getDiscardedPlaces()
      • setDiscardedPlaces

        public void setDiscardedPlaces​(java.util.ArrayList<MyPlace> discardedPlaces)
      • getTransitionsLiveness

        public boolean[] getTransitionsLiveness()
      • getNumDeadTransitions

        public int getNumDeadTransitions()
      • getMask

        protected int getMask​(int position,
                              java.lang.String[] transitions)