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

simulator

简单的案例：
# M" \% q# c: D7 J8 z3 p
5 B9 G7 [2 ^# f) g系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
! h. ~7 o: P$ d' y3 ~  O其中当Machine001的维修工为Labor001时，维修时间为2分钟；
      当Machine001的维修工为Labor002时，维修时间为6分钟；