Petri网是一种数学和图形工具,适宜于模拟和分析离散事件系统.自Petri先生开创性的工作之后,网论得到了长足进展,至今已形成了相当规模的研究领域,并产生出多种不同类别.在这些类别中,由于包含网论的基本思想而且便于应用,库所一变迁系统(P/T-系统)得到了充分的重视.P/T-系统的分析方法大约有三种:可达树(图)方法,状态方程方法和化简分解方法.这些方法各有其优缺点,适用于不同问题的要求,然而,即使在其适用范围内,它们的作用有时也是有限的,不足以给系统以完整清晰的刻画.也就是说,有必要加以改进.该文的工作侧重于前两种分析方法的研究和讨论.第二章分析了传统可达树的不足,提出了一种新的可达图及构造,并将其用于系统分析.第三章对求解不变量做了改进,使得可以同时得到S-不变量及T-不变量.另外介绍了文献中一种"修正"的关联矩阵,并用其讨论了一些P/T-系统子类的结构特性.最后,对化简分解方法和在网系统分析中颇有用处的对偶性定义做了简介.