基于一类Petri Net模型的初始状态配置与死锁检测

摘要

模型的建立是使用PetriNet对柔性制造系统(FMS)进行控制，确认，性能分析和仿真的第一步。本文将一个子类L-S3PR网中的活性性质进行了推广，并提出了一种用于检测一类更大范围网模型S3PR中是否存在死锁的线性算法。本文介绍了资源回路的概念和如何从网结构中获得资源回路，进而从资源回路导出信标的方法。证明了从资源回路导出的一个极小信标如果不含有任何P不变式的支撑，则它不是一个潜在的死锁。只有在系统运行中可被清空的极小信标才是系统不活的真正原因。 除了结构，网模型不恰当的初始标识也会导致死锁。在设计和调整网模型时，根据约束条件来重新配置初始标识，使网模型无死锁的方法也结合实例在本文中做了详细介绍。对于S3PR(L-S3PR)网模型，给出了闲置库所与资源库所中托肯数之间的合适关系。所以，在不改变网结构的前提下，系统可以被快速重新配置，以适应需求的变化。这使得柔性制造系统的敏捷性得以保证。 此外，本文还提出了一种用于死锁预防策略的正确算法。在这类系统的Petri网模型中，死锁是由未被标识的信标产生的。这个算法被用来从由MIP方法获得的极大信标中求取极小信标。本文还从信标定义的角度对算法的正确性进行了证明，而且这种算法同样是一种线性算法。

目录

文摘

英文文摘

创新性声明和关于论文使用授权的说明

第一章绪论

第二章基于Petri网的建模与分析

第三章Petri网的基本定义与性质

第四章S3PR网及其子类L-S3PR网

第五章一种判定一类网模型活性的线性算法

第六章通过配置初始标识使系统无死锁

第七章从极大信标中获取极小信标的算法与证明

第八章总结与展望

致 谢

参考文献

在读期间的研究成果