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

摘要：

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

关键词：Petri网系统、可达性、矩阵的半张量积、变迁-状态转移矩阵、变迁-状态邻接矩阵

所属期刊栏目：39

分类号：TP273(自动化技术及设备)

资助基金：国家自然科学基金项目61573199,61573200;天津自然科学基金资助项目14JCYBJC18700,13JCYBJC17400

在线出版日期：2017-03-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：72-76