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

摘要：

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

关键词：并发进程、Petri网、死锁、可迭标识图

所属期刊栏目：43

分类号：TP316.4(计算技术、计算机技术)

资助基金：兰州交通大学校科研和教改项目

在线出版日期：2007-04-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：48-49,94