Witness仿真生产线质量合格率

Rain_power

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

我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
action on finish：
/ n1 \0 E, C& D/ F4 u6 dIF RANDOM (1) <= 0.05
3 x6 s* v+ d- ?6 h6 p PEN = 1
C = "pink"
3 O+ g- u- [& R( s% ~ENDIF     
4 r# l$ i8 b) k, \! J7 T
! X3 U5 Q- [# e3 w% c" ]铣床：
8 c) i/ h. D1 g, r! ~. H7 B3 baction on finish：
2 m4 P7 P$ l! d. v4 rIF RANDOM (2) <= 0.05
( J' ^; _) F7 W+ E! S( M PEN = 2
D = "yellow"
! F4 v3 O* w) uENDIF   

; B% |& m: T$ H9 |& _! i磨床：
action on finish：
IF RANDOM (3) <= 0.05
% r) t; L) f) g1 W( P7 F+ A. r PEN =3
E= "green"
6 O0 W8 G' }- T" Z0 F2 }3 JENDIF

dragonet5

" [8 v$ A. d0 B$ Y. h9 \6 ]! X, `
: G  l/ W5 |7 |$ U/ ~& p你这个写得不够清楚。

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

9 p* w, K# P; w7 j然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。

% G- e9 h/ }2 N0 U3 x4 l最后问一下你的Witness版本。