求助一个简单问题

automod难

有如下一个Process：卡车到达检查站进行检查（检查站一次只能检查一辆车），时间分布为n 5,1 min，结束后离开，程序如下：
   
begin P_check arriving procedure
+ _$ x) P& G/ u* S2 `; ~" p8 K# C
( Z. U, g  f, U1 t$ [

move into Q_check
2 l5 h. X4 ^7 {" o. j

wait for n 5,1 min
( Z6 `2 Y7 i+ q
, g- p- I1 B+ [" V! N/ X
send to die
8 F0 j+ ]. O/ u% ?# K8 D    end
4 \  i' h; Y" g( S2 f" q7 r) @我把程序作了如下改动：
- q; c  ~  m% s( ~/ `
" @* H% p; R7 q0 ?1 L* y/ Hbegin P_check arriving procedure
9 `7 A/ E6 ~. ?' a6 @
* c  O/ z3 I9 o4 R. W) _move into Q_check_wait
7 J: i+ }+ e1 ^3 |, `1 I' a
  Q( B4 U: }( z) n/ W: dmove into Q_check

use R_check for n 5,1 min

send to die
                 end
其中Q_check_wait容量为infinite，Q_check和R_check的容量为1
运行时出错，请教各位高手错在哪里？谢谢！

automod难

是没错
7 I0 `+ j9 [% @5 b) D$ K' f8 w是我搞错了，呵呵~~谢谢楼上的！