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 }
Overview
Content Tools