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

simulator

简单的案例：
: H& F) g9 V6 ~' w0 W9 d
  Z! F$ M9 F- v) \系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
其中当Machine001的维修工为Labor001时，维修时间为2分钟；
" \7 V  S( b7 {# R      当Machine001的维修工为Labor002时，维修时间为6分钟；