Skip to end of metadata
Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 4 Next »

ABRO-vars

scchart ABRO {
  input bool A, B, R
  output bool O

  initial state ABO {
    entry do O = false

    initial state WaitAB {
      region:

      initial state wA
      go to dA if A

      final state dA

      region:

      initial state wB
      go to dB if B

      final state dB
    }
    join to done do O = true

    state done
  }
  abort to ABO if R
}

  • No labels