求助一个简单问题

automod难

有如下一个Process：卡车到达检查站进行检查（检查站一次只能检查一辆车），时间分布为n 5,1 min，结束后离开，程序如下：
* o( U5 l3 E/ [% P" l   
6 z4 H. \8 K+ L4 D  z1 D+ rbegin P_check arriving procedure

# z$ t* S6 L* B* @

2 ^% B0 U) ^7 _3 G9 Q% p. f0 J% Nmove into Q_check
, {% Q) `; i2 r9 B. f

wait for n 5,1 min
4 g; [9 i2 W  w1 l% A# ]3 _
2 V1 @2 u  w- P( V6 e+ l
) e/ [, H% I) n( _) P; ssend to die
    end
5 n. [' s! I9 D8 H' S% A7 N' n1 o1 C我把程序作了如下改动：
& X  X. {/ f, B$ r
begin P_check arriving procedure

move into Q_check_wait
" V+ f! h1 {" `8 G* I, D" }
move into Q_check

0 @: @' Y& s0 k  z, t% [use R_check for n 5,1 min
+ r; x! y1 s$ \( U# \6 X0 i, u
send to die
                 end
其中Q_check_wait容量为infinite，Q_check和R_check的容量为1
运行时出错，请教各位高手错在哪里？谢谢！

automod难

是没错
! P& g' W3 @1 l: |- E! a) K0 n( p是我搞错了，呵呵~~谢谢楼上的！