Witness仿真生产线质量合格率

Rain_power

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

( \" Z% c0 i, }; B2 [% ^" j1 G, Q我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
action on finish：
IF RANDOM (1) <= 0.05
  ~) M0 b, _  S5 ~3 @3 c PEN = 1
C = "pink"
( o* }) r/ @  ?* G' b2 }, J% LENDIF     

( p- }% M" {& Q' g铣床：
action on finish：
( l0 v) {; x+ J  e, eIF RANDOM (2) <= 0.05
1 i) M1 ?9 p+ l5 W/ i, y4 @ PEN = 2
D = "yellow"
+ f' X% G7 I9 v' `6 u- y4 xENDIF   
" u( y7 o6 v5 T4 D
, J" ^) g& p3 g1 H( ]" s磨床：
9 U+ {7 t( @8 C4 baction on finish：
& B, n! e# @2 ]' P% ^. M2 WIF RANDOM (3) <= 0.05
8 f1 y7 E. r9 B/ _$ I0 s2 N' t PEN =3
E= "green"
8 w: x" m. [9 B4 d( z; KENDIF

dragonet5

3 C" m, D# H$ X& Q+ C你这个写得不够清楚。
$ ^( \, w( n3 g
& Q$ h9 h- H/ F3 t$ g) Z首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
  ^# @! f* O; {  A( Q4 B$ V
! k3 R1 b; ^! W& I7 H然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
. t% @: M, b" e% }: O* ^+ C
最后问一下你的Witness版本。