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

simulator

简单的案例：

* v5 q# _$ w% J: v! u3 p/ u系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
; X. I. n. ?6 V! d  c4 K; q其中当Machine001的维修工为Labor001时，维修时间为2分钟；
8 T* i, I0 K" l      当Machine001的维修工为Labor002时，维修时间为6分钟；