一类活性Petri网控制器的冗余检测及结构简化

• 作者: 徐姗姗 朱丹 朱承丞 董利达
• 来源期刊: 控制理论与应用
• 关键词: Petri网 柔性制造系统 信标 死锁预防 整数规划
• 年，卷（期）: 2013,（6）
• 所属期刊栏目: 论文与报告
• 页码范围: 673-682
• 页数: 10页
• 分类号: TP278
• 语种: 中文
• DOI: 10.7641/CTA.2013.20881

摘要

S4R(systems of sequential systems with shared resources)网是分析和解决柔性制造系统死锁现象常用的一种重要的Petri网子类模型,现有的基于S4R网的死锁预防方法通常采用对部分或者全部严格极小信标添加控制库所来实现.此类方法的不足在于得到的活性S4R控制器中往往存在冗余控制库所.针对已为网中每一个严格极小信标都逐一添加了控制库所和相关连接弧的活性S4R控制器,本文提出并设计了一种基于整数规划技术的冗余检测及结构简化方法,由此得到结构更简单、行为允许度更高的活性S4R控制器.该方法的核心思想是:如果网中已经存在一个p-不变式使得某个严格极小信标满足最大受控条件,那么为该严格极小信标添加的控制库所就是冗余的.由于该方法无需进行Petri网的可达性分析,避免了状态组合爆炸问题,因此具有较高的可行性和计算效率.最后用实验验证了本文方法的正确性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱丹	浙江大学电子电路与信息系统研究所	10	76	4.0	8.0
2	董利达	杭州师范大学杭州国际服务工程学院	7	37	4.0	6.0
3	朱承丞	浙江大学电子电路与信息系统研究所	4	14	2.0	3.0
4	徐姗姗	解放军陆军军官学院管理工程教研室	1	11	1.0	1.0