基于Petri网的分布式系统并发进程的死锁检测

• 作者: 刘荣峰 吴桂华 李引珍
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 分布式系统 并发进程 Petri网模型 全链路合成 死锁检测
• 年，卷（期）: 2007,（22）
• 所属期刊栏目: 计算机软件与算法
• 页码范围: 5353-5355
• 页数: 3页
• 分类号: TP316.4
• 字数: 2487字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7024.2007.22.007

摘要

分布式系统中的并发进程具有明显的并发、异步及分布性,而Petri网是模拟与分析并发、异步、分布式系统的有效工具.为此通过引入Petri网,给出了分布式系统局部并发进程等待的Petri网模型及死锁检测方法,提出了全链路合成的概念,利用全链路合成技术组装了全局并发进程等待的Petri网模型,给出了判断整个系统是否出现死锁的充分必要条件.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李引珍	兰州交通大学交通运输学院	102	793	16.0	20.0
2	刘荣峰		3	7	2.0	2.0
6	吴桂华	南京航空航天大学信息科学与技术学院	1	5	1.0	1.0