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

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

并发进程具有明显的异步并发性,而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.