自动制造系统的Petri网结构分析与控制器设计.pdf

II Structuralofand for of PetriNetsAMS AnalysisSuper、’isorDesign 再者，提出了一种建模能力更强的Petri网即M．net，结合信标控制理论和区域理 论，设计了能较好取得最优性(行为许可性)和计算复杂度平衡的一种死锁预防策 略。区域理论的应用使得该策略相当趋近于最优解。给定一个Petri网，首先通过结构 分析计算出网的极小的初始标识，并计算出对应的最优活性受控系统；然后，得出与 控制器中的标识和网模型库所中的标识相关的一组不等式约束使得没有信标是未充分 标记的。提出一个识别冗余约束的方法。对于网模型的一个新的初始标识，不用改变 受控系统的结构，仅需控制其中的标识使得其满足不等式约束便可以获得一个无死锁 的受控系统。该方法可以获得一个接近最优解的受控系统。 最后，针对实际情况下自动制造系统中存在的资源不可靠问题，为其设计鲁棒的 活性监督控制器。S3PR网建模的自动制造系统有不可靠资源时，首先给每个可能被 清空的严格极小信标添加控制器，设计活性监督控制器；然后考虑不可靠资源因素， 通过添加恢