基于有色Petri网并发进程模型及死锁避免方法

• 作者: 刘荣峰 李引珍
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 并发进程 Petri网 死锁 可迭标识图
• 年，卷（期）: 2007,（6）
• 所属期刊栏目: 学术探讨
• 页码范围: 48-49,94
• 页数: 3页
• 分类号: TP316.4
• 字数: 2355字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.06.016

摘要

并发进程具有明显的异步并发性,而Petri网是描述异步并发系统的有效工具,但是目前将Petri网用于并发进程控制问题的研究还几乎没有.为此通过引入扩展有色Petri网,为并发进程建立了模型,并给出了避免死锁的有效方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李引珍	兰州交通大学交通运输学院	102	793	16.0	20.0
2	刘荣峰	兰州交通大学交通运输学院	4	21	3.0	4.0