Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？

我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
( ]1 d% Z+ K' @2 m" Q3 Raction on finish：
6 E4 @8 Y9 N5 C% O2 O2 cIF RANDOM (1) <= 0.05
8 G9 N* H. j- e PEN = 1
C = "pink"
ENDIF     

3 e2 E0 s* Q! g4 N; d8 e+ P" I铣床：
action on finish：
( c4 A' ~3 Z5 |# x2 mIF RANDOM (2) <= 0.05
PEN = 2
D = "yellow"
ENDIF   
5 `" p/ u: U& G! I! C
' v/ u9 D  f) U磨床：
+ u+ u* N+ r- `action on finish：
4 z9 {. @2 V0 a! C4 y, S) a* r$ h  X, AIF RANDOM (3) <= 0.05
8 X! L1 v, F/ c* C) d& p* ]* ~ PEN =3
E= "green"
2 \5 A: z( w; k( ]ENDIF

dragonet5

; i3 O' M7 n5 s9 {: ^1 t: x  V4 h
% N; b5 K+ z3 {5 g你这个写得不够清楚。
& `+ _8 Z, `* C$ O* R. `
5 N* Z4 e, T( B% L2 U  F* n. V( _首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
. s! Y8 L8 _% b8 O& t* F2 J
/ L. @# M+ l0 T2 O0 v然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

最后问一下你的Witness版本。