Witness仿真生产线质量合格率

Rain_power

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

我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
& g7 B, s9 l  g3 z车床：
$ \3 F3 E5 {7 V- w7 r9 `  b- ]& taction on finish：
$ T8 W% x$ ]' ^& PIF RANDOM (1) <= 0.05
7 }2 m, F4 U( b/ u  P4 z PEN = 1
! m+ a6 I4 P' f; ^5 Q/ ^* r( v C = "pink"
1 w# |5 h0 }8 [; f; h/ o' K# fENDIF     

铣床：
- W/ a. j# f, V" j% c) T: k3 M9 Jaction on finish：
IF RANDOM (2) <= 0.05
PEN = 2
) Q: |8 e2 J+ k4 P  M" j: o D = "yellow"
ENDIF   

磨床：
action on finish：
& u3 x( N$ m: e9 EIF RANDOM (3) <= 0.05
PEN =3
E= "green"
ENDIF

dragonet5

: h+ s2 }8 z& F: y& ^* F& j% f/ T  u你这个写得不够清楚。

首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
4 ]3 z" M( M. T3 @: i. w' }
4 m/ v# \% A1 L9 P% i! }然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

最后问一下你的Witness版本。