并发进程死锁检测的一种新方法  

作　　者：刘荣峰[1] 

机构地区：[1]兰州交通大学交通运输学院,甘肃兰州730070

出　　处：《甘肃科技》2007年第2期31-32,120,共3页Gansu Science and Technology

摘　　要：并发进程具有明显的异步并发性,而Petri网是模拟与分析异步并发系统的有效工具。为此通过引入Petri网,给出了并发进程等待的Petri网模型及死锁检测方法。

关 键 词：并发进程 PETRI网模型 死锁检测 

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]