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

simulator

简单的案例：
% ]; R( P4 G0 }2 Z% r
系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
! q& ]/ y, q# t  z" G4 A5 l1 f其中当Machine001的维修工为Labor001时，维修时间为2分钟；
2 ]/ N" }  P* @5 t" k& r6 u8 M      当Machine001的维修工为Labor002时，维修时间为6分钟；