基于Petri网灵巧信标的自动制造系统死锁控制策略研究

项目名称： 基于Petri网灵巧信标的自动制造系统死锁控制策略研究

项目编号： No.61364004

项目类型： 地区科学基金项目

立项/批准年度： 2013

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

项目作者： 李绍勇

作者单位： 兰州理工大学

项目金额： 43万元

中文摘要： 本申请项目致力于自动制造系统(Automated Manufacturing System, AMS)的死锁控制问题。由于死锁的发生会导致部分或整个AMS的运行停止，可造成重大的经济损失。因此，死锁控制策略的研究是AMS设计时必须考虑的重要内容。基于行为许可性，结构复杂性和计算复杂性，设计出合理的活性Petri网控制器来消除死锁问题，是近二十年来国际上死锁问题研究的热点。本项目拟从三个方面开展基于受控灵巧信标的活性Petri网控制器设计及其优化的研究：（1）针对建模能力更强，目前研究较少G-system网，提出表征其死锁状态的灵巧信标定义，相应的求解与控制算法；（2）通过求解目标参数的线性规划问题，将经济实现性添加到活性Petri网控制器的评价指标中，获取信标计算时间少，结构简单，许可行为数多和实现代价低的活性控制器；（3）提出表征Petri网活锁状态的灵巧信标定义，相应的求解与控制算法。

中文关键词： 自动制造系统；Petri 网；死锁控制；活性受控Petri网系统；实现代价性能

英文摘要： This project aims to cope with deadlock control problems in automated manufacturing systems (AMSs). Since deadlock occurrence can make the partial or whole AMS stop and lead to heavy economic losses, deadlock control policies must be considered as an impo

英文关键词： Automated manufacturing system (AMS)；Petri net (PN)；deadlock control；live controlled Petri net system；implementation cost performance (ICP)