[原创] witness实现Labor类型确定维修时间

发表于 2009-3-19 22:18:56 | 显示全部楼层 |阅读模式

简单的案例：

系统有两类员工：labor001和labor002，各有一人；负责两台设备的维修；
其中当Machine001的维修工为Labor001时，维修时间为2分钟；
当Machine001的维修工为Labor002时，维修时间为6分钟；

您需要登录才可以下载或查看，没有帐号？注册

GMT+8, 2025-10-22 02:51 , Processed in 0.017335 second(s), 15 queries .

帐号		自动登录	找回密码
密码			注册