Package org.processmining.stochasticlabelleddatapetrinet

Interface StochasticLabelledDataPetriNet

    • 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)
        Parameters:
        transition - the index of the transition
        Returns:
        the label of the transition or NULL if there is not label assigned

      • isTransitionSilent

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

      • isInInitialMarking

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

      • getNumberOfVariables

        int getNumberOfVariables()
        Data elements

      • getVariableLabel

        java.lang.String getVariableLabel​(int variable)

      • getReadVariables

        int[] getReadVariables​(int transition)

      • getWriteVariables

        int[] getWriteVariables​(int transition)

      • getGuardExpression

        org.processmining.datapetrinets.expression.GuardExpression getGuardExpression​(int transition)

      • getInputPlaces

        int[] getInputPlaces​(int transition)
        Parameters:
        transition - the index of the 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 - the index of the 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 - the index of the 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 - the index of the 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

        StochasticLabelledDataPetriNetSemantics 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.