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

Concurrency process model and way of avoiding deadlock based on colored Petri net

作　　者：刘荣峰[1] 李引珍[1] 

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

出　　处：《计算机工程与应用》2007年第6期48-49,94,共3页Computer Engineering and Applications

基　　金：兰州交通大学大学生科研创新基金资助项目。

摘　　要：并发进程具有明显的异步并发性,而Petri网是描述异步并发系统的有效工具,但是目前将Petri网用于并发进程控制问题的研究还几乎没有。为此通过引入扩展有色Petri网,为并发进程建立了模型,并给出了避免死锁的有效方法。The concurrency process has an obvious characteristic of asynchronous and concurrency,and Petri net is a very good tool on depicting asynchronous and concurrent system.But now there is almost no research on using Petri net on concurrency process controlling problem.So this paper inducts the extended colored Petri net,builds the model for concurrency process and shows an effective way on how to avoid deadlock.

关 键 词：并发进程 PETRI网 死锁 可达标识图 

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