应用必需信标的Petri网死锁预防策略

• 作者: 李绍勇 王安荣
• 来源期刊: 控制理论与应用
• 学科: 工学
• 关键词: Petri网 死锁预防 混合整数规划 必需信标
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 论文与报告
• 页码范围: 771-780
• 分类号: TP273
• 字数: 9003字
• 语种: 中文

摘要

本文提出了表征一个Petri网子类,即S4R网(system of sequential systems with shared resources)中死锁问题的必需信标的概念和一种将混合整数规划算法与必需信标控制相结合的死锁预防策略.在该策略的迭代过程中,混合整数规划算法发现被控的Petri网中是否存在最大的死标识信标,若存在,则通过库所分类和迭代式的信标提取,得到必需信标,添加相应的控制库所,满足必需信标的最大可控性,从而实现被控的Petri网活性的目的.理论分析和算例验证表明了该策略的正确性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李绍勇	西安电子科技大学机电工程学院	1	4	1.0	1.0
2	王安荣	兰州理工大学土木工程学院	1	4	1.0	1.0