求助一个简单问题

automod难

有如下一个Process：卡车到达检查站进行检查（检查站一次只能检查一辆车），时间分布为n 5,1 min，结束后离开，程序如下：
% C3 b6 b- [( a0 b   
begin P_check arriving procedure
5 [0 E2 k7 c3 a5 \4 y  Y, M: h
7 B! v5 L* J& X* l, |$ C& G- ]

move into Q_check

% W2 f; Q* p6 s3 P' z5 U: q- `
wait for n 5,1 min

0 t8 i4 r( o# h( B+ _$ P
send to die
    end
* A# {5 N2 S0 N3 _1 d' Y. i7 }* ?我把程序作了如下改动：
; h2 R# D0 e" Q! l7 |. }4 ]( d# C* w
begin P_check arriving procedure

move into Q_check_wait

/ h, J3 @) A) D' i; ~move into Q_check

6 ]7 x+ R( w/ c1 @use R_check for n 5,1 min
: T, {5 U+ Q, R7 W( a6 a  I5 i
, e2 g$ c( P; _7 k4 \1 M/ q' N$ J4 P: asend to die
                 end
其中Q_check_wait容量为infinite，Q_check和R_check的容量为1
+ y0 z0 O% n7 |2 f运行时出错，请教各位高手错在哪里？谢谢！

automod难

是没错
8 L1 R5 h, P+ d, `1 F% F! I是我搞错了，呵呵~~谢谢楼上的！