随着信息技术的发展,越来越多的分布式并发系统呈现出同步、并发、资源共享与冲突等特性,死锁成为这类系统必须面对的一类现象。Petri网具有直观的图形表示和坚实的数学分析基础,被广泛应用于分布式并发系统的建模和分析,尤其是死锁检测。但是,状态空间爆炸阻碍了 Petri网的应用。网展开技术能有效解决并发导致的状态爆炸问题。目前,已有的展开技术主要针对有界Petri网,并且基于展开进行有界Petri网死锁检测的方法相对成熟;而对于无界Petri网,当前展开方法只能进行网系统的有界性和可覆盖性判定,无法进行无界Petri网的死锁检测。针对上述问题,本文拟提出一种面向死锁检测的无界Petri网展开方法,主要研究内容如下:(1)提出一种面向无界Petri网死锁检测的展开方法(D2U)与传统的展开方法相比,D2U在解决死锁检测问题方面具有以下优势:首先,D2U中每个配置对应的循环或非循环变迁序列均可从初始标识引发;其次,当D2U没有ω--条件时,D2U可以完全判定Petri网是否存在死锁;最后,与传统的无界Petri网展开技术不同,D2U不包含虚假的死标识。(2)提出了基于D2U的无界Petri网死锁检测方法具体而言,提出了两种死锁检测方法。第一种方法能够检测D2U中的全部死锁,但是效率偏低;第二种方法仅能判定D2U中死锁的存在性,存在时只能给出一个死锁,但效率高于前者。(3)无界Petri网D2U展开工具的设计与开发设计并实现无界Petri网的D2U展开工具,当输入的Petri网有界时,该工具能输出网系统的有限完全前缀,当输入的网系统无界时,该工具能得到其D2U。此外,文中结合实例对无界Petri网的D2U展开、可达树以及结构化死锁分析方法进行了对比,分析了各自的优缺点。