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

simulator

简单的案例：
, p3 m0 [7 p( r' G+ Q3 i9 d! @
系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
. y4 R  L  s0 o& G( }其中当Machine001的维修工为Labor001时，维修时间为2分钟；
* h2 s" ~- d/ L: {. M8 |' E      当Machine001的维修工为Labor002时，维修时间为6分钟；