Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
# Y! I) p$ D3 [2 K
$ K; ~) v/ c* `. B8 g4 @我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
) F" m9 v, _: D& A' g. ]action on finish：
IF RANDOM (1) <= 0.05
PEN = 1
( L8 O' m- |3 s1 _6 L' \$ { C = "pink"
9 s! U( Y- d( u$ ]) G7 N8 WENDIF     
  M, G0 l7 `6 B! D
铣床：
$ K5 C0 i) l; Q9 }action on finish：
! t& C4 y6 o% n( JIF RANDOM (2) <= 0.05
PEN = 2
: n0 X7 D, E* G6 ~6 M D = "yellow"
+ N: H$ M! t# dENDIF   

磨床：
$ z" ]3 _7 E, b" Jaction on finish：
$ P* |  v" n7 k5 n/ dIF RANDOM (3) <= 0.05
& D/ r& \. Y2 V. _; N* b3 P) p* a PEN =3
E= "green"
ENDIF

dragonet5

0 {( {9 G, K5 m
% M, W2 F, @2 H你这个写得不够清楚。
( ^" m* y) M" Q5 o9 g% ^8 I' P$ c
8 L( ^3 g( K; g& Y* ]首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。

然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

最后问一下你的Witness版本。