求助一个简单问题

automod难

有如下一个Process：卡车到达检查站进行检查（检查站一次只能检查一辆车），时间分布为n 5,1 min，结束后离开，程序如下：
   
9 Y4 }0 d: `6 {) u* hbegin P_check arriving procedure
- |3 Y3 E% w; J

$ A: M/ ]8 @; z) b* X5 u" q3 e
move into Q_check
) P" D/ c4 l, m; q& T

wait for n 5,1 min
. ?* n* W+ ~7 Z. J- C' j
8 s3 a' O% v; c) x" l
send to die
    end
2 E9 W3 W2 X$ ^我把程序作了如下改动：

begin P_check arriving procedure

move into Q_check_wait
9 c0 y6 |/ a7 Y3 o2 D1 F1 Y7 o
" J+ V; z8 x- X6 i. Ymove into Q_check
! s/ [8 Q% a4 U+ [% k
9 E$ f# s, k/ _( d5 p+ {use R_check for n 5,1 min

0 J: u+ m1 J' t6 \send to die
                 end
其中Q_check_wait容量为infinite，Q_check和R_check的容量为1
运行时出错，请教各位高手错在哪里？谢谢！

automod难

是没错
是我搞错了，呵呵~~谢谢楼上的！