Module fr.inria.MochyCore
Package fr.inria.mochy.core.abstractClass

Class TransitionAbstract

  • Direct Known Subclasses:
    EquTransition, TrajTransition, Transition
    public abstract class TransitionAbstract
extends Object
    it defines the abstraction of the transitions of the petri nets models defined by PhysicalModel

    TransitionAbstract class diagram

    • Field Detail

      • name

        public String name
        the name of the transition

      • number

        public Integer number
        the id number of the transition

      • clock

        protected Float clock
        the remaning time for a transition to be at the end (when its value is 0)

      • lowerBound

        public Float lowerBound
        the lowerbound of the interval in which the clock will start

      • upperBound

        public Float upperBound
        the upperbound of the interval in which the clock will start

      • max

        public String max
        the upperbound of the interval in which the clock will start as a string

    • Constructor Detail

      • TransitionAbstract

        public TransitionAbstract()

    • Method Detail

      • getLinkedEvents

        public ArrayList<TableEvent> getLinkedEvents()
        the list of the events linked to this transition

      • addLinkedEvent

        public void addLinkedEvent​(TableEvent te)
        add an event to the list of the linked events to this transition

      • getNumber

        public int getNumber()
        the id number of the transition

      • getName

        public String getName()
        the name of the transition

      • getClock

        public Float getClock()
        the remaning time for a transition to be at the end (when its value is 0)

      • setClock

        public void setClock​(Float value)
        set the remaning time for a transition to be at the end (when its value is 0)

      • setClock

        public void setClock​(float value)
        set the remaning time for a transition to be at the end (when its value is 0)

      • getLowerBound

        public Float getLowerBound()
        the lower bound of the interval in which the clock will start

      • setLowerBound

        public void setLowerBound​(Float lowerbound)
        set the lower bound of the interval in which the clock will start

      • getUpperBound

        public Float getUpperBound()
        the upper bound of the interval in which the clock will start

      • setUpperBound

        public void setUpperBound​(Float upperbound)
        set the upper bound of the interval in which the clock will start

      • getMax

        public String getMax()
        the upper bound of the interval in which the clock will start as a string

      • getPre

        public abstract ArrayList<? extends PlaceAbstract> getPre()
        return the list of the previous places immediately linked to this transition

      • getPost

        public abstract ArrayList<? extends PlaceAbstract> getPost()
        return the list of the next places immediately linked to this transition

      • getControlPre

        public abstract ArrayList<? extends PlaceAbstract> getControlPre()
        return the list of the previous control places immediately linked to this transition

      • tokensTimeToFire

        public ArrayList<Float> tokensTimeToFire()
        return the list of the values to get to the end of the place for each token of the place