自动制造系统的稳健死锁避免策略

摘要

自动制造系统(AMSs)使用有限资源并行生产多种零件,零件加工对共享资源的使用可能造成循环等待,导致系统死锁。针对使用多种不可靠资源的一类AMSs,本研究扩展面向资源有色Petri网提出特殊资源标记图建模分析。为解决死锁和阻塞问题,在每条路径设置本地管理器,提出稳健死锁避免策略。该策略通过在线判断托肯能否触发所在路径的最近关键变迁和最近不可靠变迁,得到不同状态下的稳健活性变迁。在此基础上,提出判断路径使系统达到更多安全状态。本研究的稳健死锁避免策略具有多项式时间复杂度,能够保证资源故障时不会阻塞不使用故障资源的零件持续生产,从而实现系统的稳健死锁避免。

关键词

自动制造系统 / 死锁避免 / 面向资源有色Petri网 / 资源故障 / 稳健死锁避免