Package org.processmining.stochasticlabelledpetrinets

Interface StochasticLabelledPetriNet

    • Method Detail

      • getNumberOfTransitions

        int getNumberOfTransitions()
        Returns:
        the number of transitions. All transitions have indices starting at 0 and ending at the returned value (exclusive).

      • getNumberOfPlaces

        int getNumberOfPlaces()
        Returns:
        the number of places. All places have indices starting at 0 and ending at the returned value (exclusive).

      • getTransitionLabel

        java.lang.String getTransitionLabel​(int transition)
        Only call when it is certain that the transition is not a silent transition.
        Parameters:
        transition -
        Returns:
        the label of the transition.

      • isTransitionSilent

        boolean isTransitionSilent​(int transition)
        Parameters:
        transition -
        Returns:
        whether the transition is a silent transition

      • isInInitialMarking

        int isInInitialMarking​(int place)
        Parameters:
        place -
        Returns:
        the number of tokens on this place in the initial marking.

      • getInputPlaces

        int[] getInputPlaces​(int transition)
        Parameters:
        transition -
        Returns:
        a list of places that have arcs to this transition. Transitions may appear multiple times. The caller must not change the returned array.

      • getOutputPlaces

        int[] getOutputPlaces​(int transition)
        Parameters:
        transition -
        Returns:
        a list of places that have arcs from this transition. Transitions may appear multiple times. The caller must not change the returned array.

      • getInputTransitions

        int[] getInputTransitions​(int place)
        Parameters:
        place -
        Returns:
        a list of transitions that have arcs to this place. Places may appear multiple times. The caller must not change the returned array.

      • getOutputTransitions

        int[] getOutputTransitions​(int place)
        Parameters:
        place -
        Returns:
        a list of transitions that have arcs from this place. Places may appear multiple times. The caller must not change the returned array.

      • getDefaultSemantics

        StochasticLabelledPetriNetSemantics getDefaultSemantics()
        Returns:
        an object that allows for a standardised interpretation of the language of the net. The returned object might not be thread safe and the implementer must ensure a new, fresh, object is returned for each call.