Page History

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
}