% r1 = 3; % r2 = 3; % fail = 3; % data = 3; % succeed = 3; #Dev = (check,Uni(0.5;1.5)).Try; #Try = (trans,fail).Try + (trans,succeed).Con; #Con = (trans,Uni(3;4)).Dev; #Bus = (check,T).(reset,r2).Bus; Dev