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

simulator

简单的案例：
# l2 G  Z. |; j. C& ~: T/ \! e
" U! k5 O9 n1 \  m3 W系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
2 [" b' B0 v6 ~, t6 n( L其中当Machine001的维修工为Labor001时，维修时间为2分钟；
      当Machine001的维修工为Labor002时，维修时间为6分钟；