Package org.processmining.earthmoversstochasticconformancechecking.helperclasses

Interface EfficientStochasticPetriNetSemantics

    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      EfficientStochasticPetriNetSemantics clone()
      May create a shallow copy, except the state, which must be deep copied.
      org.processmining.models.semantics.petrinet.Marking convert​(byte[] marking)
      convert a primative int array to a marking object based on the internal index representation of the petri net's places.
      byte[] convert​(org.processmining.models.semantics.petrinet.Marking marking)
      allows to convert a given marking to an equivalent int array based on the internal index representation of the petri net's places.
      void executeTransition​(int transitionIndex)
      Executes (fires) a transition.
      int[] getEnabledTransitions()  
      java.lang.String getLabel​(int transitionIndex)  
      byte[] getState()  
      double getTransitionWeight​(int transitionIndex)  
      boolean isInvisible​(int transitionIndex)  
      void setState​(byte[] state)
      Sets the state to the supplied state (marking).

    • Method Detail

      • executeTransition

        void executeTransition​(int transitionIndex)
        Executes (fires) a transition. For performance reasons, this method does not check whether the transition is actually enabled and does not return information on what changed.
        Parameters:
        transitionIndex -

      • getTransitionWeight

        double getTransitionWeight​(int transitionIndex)
        Parameters:
        transitionIndex -
        Returns:

      • getEnabledTransitions

        int[] getEnabledTransitions()
        Returns:
        The transitions that have a probability > 0 to fire.

      • getState

        byte[] getState()
        Returns:
        a copy of the underlying array of tokens in the current state. (marking).

      • setState

        void setState​(byte[] state)
        Sets the state to the supplied state (marking). The state array is copied into the internal data structure.
        Parameters:
        state -

      • convert

        byte[] convert​(org.processmining.models.semantics.petrinet.Marking marking)
        allows to convert a given marking to an equivalent int array based on the internal index representation of the petri net's places.
        Parameters:
        marking - of the petri net used wihtin semantics
        Returns:
        corresponding int array

      • convert

        org.processmining.models.semantics.petrinet.Marking convert​(byte[] marking)
        convert a primative int array to a marking object based on the internal index representation of the petri net's places.
        Parameters:
        marking - to transform (int arr)
        Returns:
        fresh marking object

      • isInvisible

        boolean isInvisible​(int transitionIndex)
        Parameters:
        transitionIndex -
        Returns:

      • getLabel

        java.lang.String getLabel​(int transitionIndex)
        Parameters:
        transitionIndex -
        Returns: