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

simulator

简单的案例：
; `2 [  E' r; r9 O9 N+ ~4 H/ G
) s) H5 S- [4 F' x% A0 L- I系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
其中当Machine001的维修工为Labor001时，维修时间为2分钟；
: m, \1 G7 h7 D2 E6 x1 o: ]      当Machine001的维修工为Labor002时，维修时间为6分钟；