Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
, p! m) Q! ^4 W: b* y6 O4 b
; Y$ J. |/ i# G, f我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
$ p& |, Y3 [5 A0 c; y4 Uaction on finish：
# J5 o* B$ m2 F7 i4 S; E& Y0 B% W0 ZIF RANDOM (1) <= 0.05
PEN = 1
" t  ~0 b) g7 r2 m# F! I8 q+ ~ C = "pink"
ENDIF     

铣床：
action on finish：
6 T! b+ M( k  L' B7 {$ xIF RANDOM (2) <= 0.05
PEN = 2
D = "yellow"
# Z$ ^) m5 B7 DENDIF   
9 o6 u8 S4 f0 O3 a
磨床：
action on finish：
IF RANDOM (3) <= 0.05
PEN =3
E= "green"
ENDIF

dragonet5

你这个写得不够清楚。
1 d' |/ I0 A) J3 E$ @0 D( `  A
% H0 [1 [2 D. e$ z" g- n$ T( j首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。

8 J( Q3 f+ z) q3 S6 u然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
% B: }3 x% S% Z0 L+ Z/ K
最后问一下你的Witness版本。