witness实现Labor类型确定维修时间

simulator

简单的案例：
; e+ a4 m- {8 A( u5 K7 v$ X1 K
系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
3 `; ~8 `+ |. p9 ~% ~其中当Machine001的维修工为Labor001时，维修时间为2分钟；
. Q  |& N. s0 h+ g& a2 a      当Machine001的维修工为Labor002时，维修时间为6分钟；