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

simulator

简单的案例：
6 E1 e2 A, [& Y' u1 y9 g: d
2 p+ y' N6 [, O+ `3 s9 h系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
* v5 b- [0 k# K8 E7 |* T) h其中当Machine001的维修工为Labor001时，维修时间为2分钟；
# B. m* |* ~0 t0 A! K/ c1 w8 [      当Machine001的维修工为Labor002时，维修时间为6分钟；