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

simulator

简单的案例：
3 q/ L/ |8 d& U* C  g6 M' _) g
/ P% |& e! }3 V1 N' B" s; v系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
% q/ ~* M( e! {9 W- _# v其中当Machine001的维修工为Labor001时，维修时间为2分钟；
, X# o; I* D! p# A+ L  X, x, }5 j      当Machine001的维修工为Labor002时，维修时间为6分钟；