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

simulator

简单的案例：
4 m# O9 w  K6 B6 V
系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
- w) _* _: e2 D/ j; D其中当Machine001的维修工为Labor001时，维修时间为2分钟；
) j! D! e3 Q2 R; _  c1 d! b      当Machine001的维修工为Labor002时，维修时间为6分钟；