Petri网化简理论在资源不可靠制造系统优化控制中的应用

项目名称： Petri网化简理论在资源不可靠制造系统优化控制中的应用

项目编号： No.61402216

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 岳昊

作者单位： 青岛大学

项目金额： 25万元

中文摘要： 死锁控制是自动制造系统（简称AMS）中的一个关键问题，其目标是保证系统的正常运行。带有不可靠资源的AMS的死锁控制研究则特别具有实用价值。Petri网是解决系统死锁问题最有效、使用最广泛的形式化工具。在许多系统中，死锁的最优控制是NP难问题。同时，从优化控制的角度看，大量的复杂系统中存在冗余信息，导致Petri网模型的规模太大。本项目研究Petri网化简理论在资源不可靠AMS的死锁优化控制中的应用。主要研究内容包括：1) 探寻资源故障与系统死锁的内在关联；2) 建立化简方法的理论基础；3) 设计系统冗余信息的识别算法；4) 设计AMS的Petri网模型化简算法；5) 测试、评价化简方法，并扩展其应用领域。我们将建立一套化简Petri网的新理论体系。对AMS的Petri网模型做预处理，能够减少后继实现控制所需的计算量，有望将一些问题缩小到实际可计算的规模，并且保持其它控制性能不变。

中文关键词： Petri网；化简；死锁；自动制造系统；

英文摘要： Deadlock control remains being a key problem in automated manufacturing systems (AMSs). It aims to avoid the deadlock states so that the system can run smoothly. It is of particular significance in practice to research deadlock control in AMSs with unreli

英文关键词： Petri net；reduction；deadlock；automated manufacturing system (AMS)；