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

simulator

简单的案例：
3 V( w/ H2 I- J: {5 N8 T9 e
$ E  ~; ]+ U- T9 Z* Q' f+ B8 T# F系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
5 m1 s  t5 H. G) G其中当Machine001的维修工为Labor001时，维修时间为2分钟；
  k" c9 |: p: Z      当Machine001的维修工为Labor002时，维修时间为6分钟；