论文部分内容阅读
Petri网作为一种新兴的数学建模工具，被广泛地应用于各类制造系统中．现有的死锁预防控制策略大多采用对极小信标添加控制库所来达到死锁预防的目的．因此，严格极小信标在柔性制造系统的死锁预防中占据极其重要的地位．对于一类含有资源的简单资源顺序进程网（S^3PR），笔者首先定义了一类特殊库所，通过分析特殊库所和环资源子集的关系，提出判定环资源子集对应的信标是否为严格极小信标的定理，基于判定定理有效求解出严格极小信标．实验结果表明，该方法可以快速地计算出S^3PR网中的严格极小信标．