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

simulator

简单的案例：
1 l7 ~* z; ~  d
系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
4 R* s, I0 k* `其中当Machine001的维修工为Labor001时，维修时间为2分钟；
" q1 S5 B1 T% r3 ~! }4 K1 q- b. f      当Machine001的维修工为Labor002时，维修时间为6分钟；