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

• 作者: 刘忠信 张奎泽 张青 陈增强 韩晓光
• 来源期刊: 北京邮电大学学报
• 学科: 工学
• 关键词: Petri网系统 可达性 矩阵的半张量积 变迁-状态转移矩阵 变迁-状态邻接矩阵
• 年，卷（期）: 2016,（6）
• 所属期刊栏目: 论文
• 页码范围: 72-76
• 页数: 5页
• 分类号: TP273
• 语种: 中文
• DOI: 10.13190/j.jbupt.2016.06.014

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈增强	南开大学计算机与控制工程学院	345	4297	35.0	48.0
4	刘忠信	南开大学计算机与控制工程学院	63	679	13.0	24.0
6	张青	中国民航大学理学院	53	225	8.0	12.0
7	韩晓光	南开大学计算机与控制工程学院	7	8	2.0	2.0
12	张奎泽	哈尔滨工程大学自动化学院	4	9	2.0	3.0