对于一些简单的进
Petri
网系统，可以通过观察看出它的一些性质。但对那些较为复杂的系统，需要利用一些分析方法。
Petri
网的分析方法很多，本节仅就
Petri
网的可达标识图和关联矩阵和状态方程做简单介绍，可达标识图是一种图形分析方法，而后一种是数学分析方法，都可用于分析模型的状态和变迁发生序列的变化。
3.3.1.1
可达标识图和
可覆盖树分析法
可达标识图是一种图形分析方法，由于有界
Petri
网的可达标识集是一个有限集合，因此可达标识集可以构成一个有向图，其中顶点为可达标识，有向弧为可达标识之间的可达关系，该图即为
Petri
网的可达标识图。
定义3-1可达标识图设
PN(S
，T；F，M)是一个有界
Petri
网，其三元组
RG=（R(M)，Ar，p）是一个可达标识图，其中：
（1）R(M)是PN的可达标识集，
RG的顶点集；
（2）Ar是RG的弧集，
Ar={(Mi，Mj)|Mi，Mj∈R(M)，tk∈T:Mi[
tk>Mj}；（3）p：Ar→T，p（Mi，Mj）=tk当且仅当
Mi[tk>Mj，当p（Mi，Mj）=tk时，则tk称为弧（
Mi，Mj）的旁标。 ...