中文摘要：

本项目致力于解决柔性制造系统的死锁问题. 由于死锁问题往往引起系统部分或全部停滞甚至是造成灾难性的后果, 因此死锁是控制柔性制造系统时必须考虑和解决的问题. 在逻辑层次上, 行为许可性, 结构复杂性和计算复杂性是评价活性Petri网控制器的主要性能指标. 而在控制策略的实现上则须考虑控制器的实现代价问题. 本项目拟立足于三个方面进行Petri网控制器优化设计: 1) 在逻辑层面上进行死锁控制, 同时考虑物理层面上死锁控制实现代价问题, 设计控制代价和行为许可性同时优化的活性Petri网控制器; 2) 针对在纯网范围内不存在最大许可行为Petri网控制器的网模型, 寻求其非纯网结构的最大许可行为的Petri网控制器; 3) 将死锁控制问题转化成线性规划问题, 通过求解线性规划得到行为许可性, 结构复杂性和计算代价同时优化的Petri网控制器.