Witness仿真生产线质量合格率

Rain_power

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

, l5 e2 R0 C5 h我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
; k+ R$ m* }& w车床：
action on finish：
! y. ]; Y" E. [% qIF RANDOM (1) <= 0.05
$ U1 M1 M8 a7 E% m2 \6 `! } PEN = 1
C = "pink"
) W9 k0 E' U- S3 U# f/ l6 yENDIF     

铣床：
action on finish：
- h: @* R/ r0 b1 P) F. {  e! BIF RANDOM (2) <= 0.05
5 i6 l3 X1 I! E, }2 K, L" ^- V; f' } PEN = 2
D = "yellow"
8 ]3 g- p8 X& |7 o5 v- hENDIF   
  N; i% }. t* e/ E8 M$ S' `2 h
: c2 k1 Q) s& s3 j3 W磨床：
action on finish：
8 S2 k3 B8 `; }0 c. [IF RANDOM (3) <= 0.05
1 A" i& z4 f7 o. ~ PEN =3
4 X# W# r8 q3 J+ k7 v! Z9 m1 p E= "green"
1 o2 g$ s' t) x! DENDIF

dragonet5

3 g- a- b* g4 _/ {' N/ Y
你这个写得不够清楚。

首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
$ f+ l' _( C0 j" `1 }
* m7 ?# S" b6 J4 D, g: @) q5 R然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

最后问一下你的Witness版本。