Class ResetArc


  • public class ResetArc
    extends PTArc
    Reset arc does not alter the enabling condition, but involve a change of the marking on p by firing of t:
    • m'(p) = 0, if p is not also a postplace of t
    • m'(p) = W(t,p), if p is also a postplace of t
    More info
    • Constructor Detail

      • ResetArc

        public ResetArc()
    • Method Detail

      • isExecutable

        public boolean isExecutable()
        Always returns true, because Reset arc does not alter the enabling condition.
        Overrides:
        isExecutable in class Arc
        Returns:
        true
      • execute

        public void execute()
        Changes the marking on p by firing of t:
        • m'(p) = 0, if p is not also a postplace of t
        • m'(p) = W(t,p), if p is also a postplace of t
        Overrides:
        execute in class Arc
      • rollbackExecution

        public void rollbackExecution​(java.lang.Integer tokensConsumed)
        Overrides:
        rollbackExecution in class Arc