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

simulator

简单的案例：
' G2 y$ F( k$ N6 T/ L( `
- V4 T* |! G/ v, r* L+ N; w$ ]系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
其中当Machine001的维修工为Labor001时，维修时间为2分钟；
2 A1 X) _3 C1 d( s+ P      当Machine001的维修工为Labor002时，维修时间为6分钟；