死锁是柔性制造系统必须考虑和解决的问题。由于Petri网具有可以检测死锁并建立死锁控制策略来处理死锁的能力,它们适合建模和控制FMS系统中的死锁问题。可达图反映了一个网系统的所有动态行为,这使得它成为Petri网死锁控制的一种重要分析技术。可是,一个Petri网可达图的规模和网结构及其初始标识的大小成指数关系。这使得枚举网的所有可达状态变得困难,同时也是非常耗时的。　　 论文致力于Petri网可达图的并行算法。传统的方法计算规模大的Petri网时经常遇到两个问题:过长的计算时间和内存溢出。为了克服以上问题,本文利用并行算法求解一个给定网的所有可达状态,并通过一些例子验证了该算法的高效性。在论文中,主要做了三方面的工作。　　 1.单进程的算法求出一个Petri网的所有可达状态。这个算法比传统的算法在求解所有可达状态有更高的效率。　　 2.多进程计算Petri网所有可达状态。由于每个进程在一台独立的计算机上执行任务,因此总的计算效率显然提高了并且计算时间明显减少。　　 3.由于每个进程都存储了所有的可达标识,使得并行算法可能会产生内存溢出问题。因此,为了克服内存溢出,可达标识被划分成不同的集合并且每个进程存储集合中的一个。这样,这个算法求解效率很高并且能够处理规模大的Petri网。