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

simulator

简单的案例：
& D( Y# h2 l( g' B0 K6 K
; t" n0 N* E/ A8 D- J) [" d' W系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
其中当Machine001的维修工为Labor001时，维修时间为2分钟；
  C9 Y$ c5 S+ W& W: ?) ?      当Machine001的维修工为Labor002时，维修时间为6分钟；