Interface StochasticLabelledDataPetriNetImpl.SLPN

    • Method Detail

      • getNumberOfTransitions

        int getNumberOfTransitions()
      • getTransitionLabel

        java.lang.String getTransitionLabel​(int transition)
      • getInputPlaces

        int[] getInputPlaces​(int transition)
      • getOutputPlaces

        int[] getOutputPlaces​(int transition)
      • getNumberOfPlaces

        int getNumberOfPlaces()
      • getInputTransitions

        int[] getInputTransitions​(int place)
      • getOutputTransitions

        int[] getOutputTransitions​(int place)
      • isInInitialMarking

        int isInInitialMarking​(int place)