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

simulator

简单的案例：
5 L1 e4 W" x$ v' C' Y' h) {! H
系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
" `8 P5 D0 G+ S) i) G3 U/ H其中当Machine001的维修工为Labor001时，维修时间为2分钟；
4 ^" y4 ~  j( W      当Machine001的维修工为Labor002时，维修时间为6分钟；