%0 Journal Article
%A 陈增强
%A 韩晓光
%A 刘忠信
%A 张奎泽
%A 张青
%T 一类Petri网系统建模与可达性分析的STP方法
%D 2016
%R 10.13190/j.jbupt.2016.06.014
%J 北京邮电大学学报
%P 72-76
%V 39
%N 6
%X 基于矩阵半张量积（STP）方法研究了一类Petri网系统（PNSs）的建模和可达性问题.首先，利用STP将这类PNSs的动态演化表示为离散时间双线性方程；然后，给出了这类PNSs的变迁-状态邻接矩阵的定义，利用所建立的双线性方程和变迁-状态邻接矩阵给出了这类PNSs状态可达性判别的几个充要条件，同时设计了计算这类PNSs任意两可达状态的所有路径的有效算法；最后，用实例说明了所得结果的可行性与有效性.
%U https://journal.bupt.edu.cn/CN/10.13190/j.jbupt.2016.06.014