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

simulator

简单的案例：
+ n" B& S; H  m7 u" j2 A
6 T/ C2 n% W3 X: i% Y/ G/ {系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
其中当Machine001的维修工为Labor001时，维修时间为2分钟；
$ X1 R2 s4 @2 ]: T/ E0 r' o; z6 b      当Machine001的维修工为Labor002时，维修时间为6分钟；