Witness仿真生产线质量合格率

Rain_power

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

我自己参考别人的仿真（但是输出的结果变化不在0.95^3到0.95之间，请问错在哪里）：
车床：
action on finish：
* M  ]0 \; x# O9 B* g: IIF RANDOM (1) <= 0.05
) o) z2 l8 |' \* z$ b* h PEN = 1
C = "pink"
ENDIF     
+ U( w  e" d( {+ i
( V% \2 R2 P( m铣床：
action on finish：
IF RANDOM (2) <= 0.05
PEN = 2
D = "yellow"
9 r+ w$ s( [( N% V% `ENDIF   
& ?7 F7 T2 N. e8 E2 F* q
  H  i1 ?. ], j5 }# p9 Z4 z磨床：
action on finish：
  g0 @& i& A/ k7 U5 a2 ^) VIF RANDOM (3) <= 0.05
* S. |4 f5 ?* f8 L0 r- [7 o PEN =3
* I# F- k3 E5 _' ? E= "green"
ENDIF

dragonet5

' E* x" J+ P. J( A9 G2 F你这个写得不够清楚。
& b- o4 I1 z( T# K# {
首先，你用随机数流来仿真，那么已产生的部分并不一定就是0.95的合格率，随机数流只是服从一个均值为0.95的分布。
4 S6 Y! @  A" a' i0 ]5 X8 ~$ }  ~
然后你的程序这样列出也不大能表现你的意思，你也没写你的判定最终是否合格的依据，也没给解释一下你C、D、E是什么变量或属性。
+ o( B3 ?& p6 n* ?
最后问一下你的Witness版本。