摘要
本发明属于自动制造系统技术领域,公开了一种基于不可观事件自动制造系统最大许可行为信息控制方法,得到考虑全可观变迁下的全局可达图;考虑不可观变迁,将不可观变迁发射前后的状态归为状态类,构建新的可达图;再从后往前推导;得到自动制造系统的最大许可行为;最后得出的好状态,只要控制自动制造系统在这些状态到临界状态之间的事件(变迁)的发生(发射),就能够使得自动制造系统一直处于这些状态中,则自动制造系统中即使不可观事件在不可预测的情况下发生,该系统也一定不会走向死锁。本发明能够实现自动制造系统的最大许可行为,充分利用资源,减少不必要的浪费,使得自动制造系统的生产效率不断提高。
- 单位