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

simulator

简单的案例：
& T2 [! S# b3 b! V" _
6 d% G2 T: s( {: b* x. m系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
2 c; E! \6 k0 Q4 Y9 o9 n5 c其中当Machine001的维修工为Labor001时，维修时间为2分钟；
      当Machine001的维修工为Labor002时，维修时间为6分钟；