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

simulator

简单的案例：

系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
2 W, _" Z" _# O6 X5 W" e  E其中当Machine001的维修工为Labor001时，维修时间为2分钟；
8 C2 ?6 |5 x8 U& }7 V8 X+ Z7 U      当Machine001的维修工为Labor002时，维修时间为6分钟；