Witness仿真生产线质量合格率

Rain_power

有三台设备，分别是车、铣和磨。每一台设备的质量合格率为0.95，不合格品进入下一道设备加工，那么最终输出的质量应该是0.95^3到0.95之间，请问哪位大侠帮看看用Witness怎么仿真？
* a* z+ V) i5 y  ~
我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
action on finish：
# v1 K0 r& |; ^IF RANDOM (1) <= 0.05
; S* Z1 \) ?. y# T PEN = 1
C = "pink"
ENDIF     
  W6 v$ W+ |2 V- |
3 }2 K* V1 ?! k# ]+ M3 N0 C铣床：
1 T( H( m6 s7 _: U$ r4 iaction on finish：
IF RANDOM (2) <= 0.05
PEN = 2
! q; V, d1 a  K6 y8 @# w D = "yellow"
: W) M. m: [1 {8 O, XENDIF   

磨床：
- ~+ f& i! i5 d2 I; ?/ C( ?" V6 haction on finish：
" Z/ t8 R! ~- g( ?IF RANDOM (3) <= 0.05
PEN =3
8 O+ u5 L: b. `$ j3 G6 {( G E= "green"
" @! o2 f# y4 d4 gENDIF

dragonet5

; ^* b& y$ \+ m2 Z8 z8 v" _
你这个写得不够清楚。

3 w3 a8 u3 d! t首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
& ?9 s, y5 c  U
' g2 V/ [* I0 y5 P$ g! n然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
1 K' a2 N1 h' }. ]* w0 B
最后问一下你的Witness版本。