S3PR网的一种死锁预防策略

• 作者: 李志武 钟春富 闫明明
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 柔性制造系统 死锁预防 Petri网 基本信标 S3PR
• 年，卷（期）: 2008,（2）
• 页码范围: 330-333
• 页数: 4页
• 分类号: TP278
• 字数: 3199字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2008.02.029

摘要

针对S3PR网的死锁预防问题,提出了一个有效的死锁预防控制算法,将用于死锁避免的C/D-RUN控制策略扩展到基于信标的死锁预防策略中,合理分配控制库所的资源,从而保证不存在死锁的状态和步骤.首先将S3PR网中的严格极小信标分为基本信标和从属信标,由基本信标集合得出一组状态向量表示的线性不等式约束,然后将这组约束用C/D-RUN策略进行优化,得到一组标识向量满足的广义相互抑制约束.根据所得标识约束添加控制库所,使所有基本信标均为P-不变式可控,得到活的、结构简单的、许可行为更多的Petri网监督控制器.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李志武	西安电子科技大学机电工程学院	39	141	6.0	9.0
2	闫明明	西安电子科技大学机电工程学院	4	20	3.0	4.0
3	钟春富	西安电子科技大学机电工程学院	3	5	1.0	2.0