Skip to end of metadata
Go to start of metadata

Additional model examples can be found here. For concrete syntax examples, please consult our syntax reference

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
      if A go to dA

      final state dA

      region:

      initial state wB
      if B go to dB

      final state dB
    }
    do O = true join to done

    state done
  }
  if R abort to ABO
}

  • No labels