一类Petri网系统建模与可达性分析的STP方法

基于矩阵半张量积(STP)方法研究了一类Petri网系统(PNSs)的建模和可达性问题.首先,利用STP将这类PNSs的动态演化表示为离散时间双线性方程;然后,给出了这类PNSs的变迁-状态邻接矩阵的定义,利用所建立的双线性方程和变迁-状态邻接矩阵给出了这类PNSs状态可达性判别的几个充要条件,同时设计了计算这类PNSs任意两可达状态的所有路径的有效算法;最后,用实例说明了所得结果的可行性与有效性.