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

			      final state dA

			      region:

			      initial state wB
			go to dB      if B go to dB

			      final state dB
		    }
		join  to done do O = true join to done

		    state done
	  }
	  if R abort to ABO if R
}