自动制造系统的一种死锁避免策略

• 作者: 李志武 贾建援
• 来源期刊: 计算机集成制造系统
• 学科: 工学
• 关键词: Petri网 自动制造系统 结构分析 死锁避免
• 年，卷（期）: 2002,（6）
• 所属期刊栏目: 论文
• 页码范围: 455-461
• 页数: 7页
• 分类号: TH165|TH166
• 字数: 6678字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-5911.2002.06.009

摘要

基于Petri网的结构分析理论,提出了自动制造系统Petri网模型的一种死锁控制方法.在这种策略的控制下,避免了系统中死锁的产生,从而使许多制造系统的Petri网模型具有活性.提出了一种保证所有严格极小信标至少含有一个托肯的方法.对冗余严格极小信标的研究,提高了Petri网复杂自动制造系统的建模能力.结果表明,在设计无死锁的Petri网模型时,不是所有的严格极小信标都要考虑,从而简化了设计结果和控制算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李志武	西安电子科技大学机电工程学院	39	141	6.0	9.0
2	贾建援	西安电子科技大学机电工程学院	174	1783	17.0	35.0