
% L = { check } ;

% r1=3.0;
% r2=5.0;
% fail=1.0;
% succeed=2.0;
% data=0.1;

% reward t = /\{trans} & [trans,0.01]\/{trans} => rate(trans) ;

#Dev = (check, r1).Try ;
#Try = (trans, fail).Try + (trans, succeed).Con ;
#Con = (trans, data).Dev ;
#Bus = (check, infty).(reset, r2).Bus ;

% attachment throughput = t => (Dev <L> Bus,1) ;

Dev <L> Bus
