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

simulator

简单的案例：
8 z) w) ~* v% h. |7 E1 T, l! n
0 a- o* y/ d: H2 ~, i0 S4 v0 o% v7 o系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
) v) g3 e2 v) M' e4 ?" U其中当Machine001的维修工为Labor001时，维修时间为2分钟；
" @1 z0 X% l% ^$ L% i# ~      当Machine001的维修工为Labor002时，维修时间为6分钟；