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

simulator

简单的案例：

; @" t4 Y/ V- x; n' ^; U系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
( D' `5 @. A- T/ v: l9 u其中当Machine001的维修工为Labor001时，维修时间为2分钟；
" h- \0 f; `( o      当Machine001的维修工为Labor002时，维修时间为6分钟；