S3PR网的严格极小信标计算方法

• 作者: 刘苗 吴文慧 尤丹 王寿光
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 死锁 柔性制造系统 Petri网 严格极小信标
• 年，卷（期）: 2014,（4）
• 页码范围: 193-197,204
• 页数: 6页
• 分类号: TP273+.1
• 字数: 3734字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2014.04.032

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王寿光	浙江工商大学信息与电子工程学院	8	23	3.0	4.0
2	吴文慧	浙江工商大学信息与电子工程学院	7	20	2.0	4.0
3	尤丹	浙江工商大学信息与电子工程学院	1	1	1.0	1.0
4	刘苗	西安电子科技大学机电工程学院	1	1	1.0	1.0