Abstract: 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.

Key words: concurrency process, Petri net, deadlock, reachable marking graph

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

关键词: 并发进程, Petri网, 死锁, 可达标识图