众所周知,Petri网以其图形化的表现形式、众多的分析方法和坚实的数学基础,成为研究离散事件系统的建模工具之一。尽管众多学者对Petri网进行研究并取得了很多成果,但仍然存在着一个世界性难题——可达性问题。系统的可达性是其所有性质中最基本的。因为在很大程度上,我们都可以用可达性来分析其他的一些相关性质,比如有界性、可覆盖性、可逆性、活性、死锁等。Petri网的可达树可以表示标识和变迁的实施关系,是分析Petri网的一种重要方法,且适用于各种网系统。利用有限的可达树来分析研究无界Petri网的可达性问题,一直是Petri网这一领域的研究难题。近几十年来,经过许多研究者的努力,取得了一些成果及突破,但始终存在不足,如现在已有的有限可达树不能非常完整准确表示系统信息等。本文围绕Petri网可达性展开研究,具体工作及研究成果如下：1.提出一种适用于一类一般无界Petri网子网——ω独立网的可达树的构建算法,即ωRT。与已存在的方法相比,ωRT仅包含由初始标识可以到达的标识,有效的避免了虚假标识的出现,保证了可达树表示信息的准确性以及完整性。相较于MRT,ωRT还可以大幅度的减少可达树节点数量,简化了可达树的结构。在此基础上,提出验证相关性质与定理,并利用所提出的定理解决ω独立网的一些可达性问题,如死锁、有限性等。2.提出适用于所有无界Petri网的新可达树的构建算法,即AωRT。AcoRT将其适用范围扩大至所有无界网,是本文一个重要创新点。并且在此基础上提出了AcoRT的死锁检测定理。3.提出了改进的AcoRT。改进的AcoRT不仅继承AcoRT所具有的优点,而且进一步简化了有限可达树的结构。最后,在总结全文的基础上,展望了无界Petri网可达性问题的未来工作。