关键资源下自动化制造系统死锁控制策略

本文探讨的是"自动化制造系统（Automated Manufacturing Systems, AM S）的关键资源死锁控制策略"。在以往的研究中，对于那些没有中心资源，即由两个或更多最大完美资源转换电路共享的一单位资源的AM S，已经提出了基于Petri网的最优复杂度避免死锁策略，这些策略具有多项式时间复杂性。然而，本研究的焦点转向了带有中心资源的AM S的死锁控制问题。 在当前的讨论中，作者胡霞莉和卫文敏从Petri网模型的角度出发，首先定义了关键资源和关键转换的概念。关键资源是指那些在系统中扮演核心角色，一旦它们被阻塞就可能导致全局停滞的资源。而关键转换则是与这些关键资源紧密相关的转换，它们的存在可能导致系统进入所谓的"次级死锁"状态。次级死锁并非完全意义上的传统死锁，而是指即使关键资源可以被释放，但由于其他条件的限制，系统仍无法恢复到正常运行状态。 文章的核心内容在于，针对这类带有中心资源的AM S，提出了新的死锁控制策略。它旨在设计一种方法，能够在确保系统性能的同时，有效地防止或及时解除由于关键资源和关键转换引发的次级死锁。这可能包括资源预分配、优先级规则、资源抢占策略或者资源预留机制等。策略的设计需要综合考虑系统的动态行为、资源的可用性和任务的执行顺序，以最小化死锁的可能性，并在死锁发生时提供有效的恢复路径。 为了实现这些目标，作者可能会采用诸如Petri网的扩展模型，如带有恢复弧或资源预留的Petri网，来刻画和分析带有中心资源的AM S的行为。此外，文中可能还会涉及算法设计和性能评估，包括计算策略的复杂度，以及通过仿真或理论分析验证其有效性。 本文的工作是基于之前研究成果的深化，着重于解决AM S中带有中心资源时的死锁控制问题，提出了新的控制策略，这对于提升这类系统的稳定性和效率具有重要的理论和实践意义。对于制造业中依赖高度自动化流程的企业来说，理解和实施这样的策略有助于提高生产效率，降低停机风险，从而增强竞争优势。