|
|||||
|
|
| 并发进程死锁检测的一种新方法 | |
| 引用本文： | 刘荣峰.并发进程死锁检测的一种新方法[J].甘肃科技,2007,23(2):31-32,120. |
| 作者姓名： | 刘荣峰 |
| 作者单位： | 兰州交通大学,交通运输学院,甘肃,兰州,730070 |
| 摘 要： | 并发进程具有明显的异步并发性,而Petri网是模拟与分析异步并发系统的有效工具。为此通过引入Petri网,给出了并发进程等待的Petri网模型及死锁检测方法。 |
| 关 键 词： | 并发进程 Petri网模型 死锁检测 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |