Petri网基本分析方法
(1) 代数分析技术
代数分析技术主要以关联矩阵的形式对一个网系统的结构给与刻划,然后建立状态可达的线性系统关系(状态方程),这种分析途径最早由Peterson提出, 国内吴哲辉教授等也在这方面进行了出色的研究,其优点在于可以借助线性代数的有关结果,简洁的展现Petri网的一些性质,尤其是结构性质,但对动态性质的刻划作用有限,比如对可达性的刻划仅仅有一个必要而非充分条件.
(2) 图分析技术图
分析技术是以一个有限的有向图(树),直接展现一个网系统的运行机制,如可达图与可覆盖树,类似于一个状态机,其优点是能够反映一个网系统的动态行为和特征,特别是对于有界网系统,它是一个准确的刻划,并且对应一个有限状态机,而对于无界网却只能部分反映.
2022-02-08 19:01:08
421KB
petri网
1