Witness仿真生产线质量合格率

Rain_power

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

我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
/ c7 o& S$ p& raction on finish：
IF RANDOM (1) <= 0.05
PEN = 1
; }- P5 s4 u$ X1 Y8 N C = "pink"
/ B9 E9 X: _5 D/ ~' {: N6 i8 aENDIF     

铣床：
action on finish：
- o, L5 j% v7 E8 v& ]IF RANDOM (2) <= 0.05
3 k! Y- f7 ?  J0 [0 k PEN = 2
6 d1 ]8 v) _; b( E% ^ D = "yellow"
ENDIF   
" ~9 r0 Y( h, o. _* c; d
! \/ l: Q1 e3 H8 S% Z  [8 c" s+ M1 L磨床：
action on finish：
" y& I* v2 _  m; O" dIF RANDOM (3) <= 0.05
$ \4 V$ s8 a7 n! v: C; b PEN =3
E= "green"
- X0 [2 [, T( ~- o* @9 d+ Y6 A& ~. }ENDIF

dragonet5

! [$ G& u+ ~. Y6 g+ Q你这个写得不够清楚。

首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。

& A; A" q+ n# e2 d6 @; ]2 S然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
) a1 ^1 z( z$ f/ i  c1 A# U, [
最后问一下你的Witness版本。