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

simulator

简单的案例：
% @0 c- p6 }4 Q
$ v) Y' |- s  w9 d% ?9 C系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
+ j2 h! [! m" b( p7 J. l4 \其中当Machine001的维修工为Labor001时，维修时间为2分钟；
      当Machine001的维修工为Labor002时，维修时间为6分钟；