English

应用科学学报 ›› 2010, Vol. 28 ›› Issue (4): 417-423.doi: 10.3969/j.issn.0255-8297.2010.04.015

• 通信工程 • 上一篇    下一篇

用关联矩阵特征值分析Petri网模型结构

廖晶静，王明哲   

  1. 华中科技大学控制科学与工程系，武汉430074
  • 收稿日期:2010-01-22 修回日期:2010-04-03 出版日期:2010-07-23 发布日期:2010-04-03
  • 作者简介:廖晶静，博士生，研究方向：体系结构建模与随机Petri网，E-mail: ljj0331@163.com；王明哲，教授，博导，研究方向：体系结构 建模与随机Petri网，E-mail: wangmzhe@netease.com
  • 基金资助:

    国家自然科学基金(No.60874068)资助

Eigenvalues of Incidence Matrices Applied to the Analysis of Petri Net Structures

LIAO Jing-jing, WANG Ming-zhe   

  1. Department of Control Science and Engineering, Huazhong University of Science and Technology, Wuhan 430074, China
  • Received:2010-01-22 Revised:2010-04-03 Online:2010-07-23 Published:2010-04-03

PDF

2798

被引次数

12

摘要：

通过计算由关联矩阵变换所得特殊方阵的特征值来分析Petri网模型某些重要的结构特性. 根据自由选择网、自由连接网与非自由选择网、非自由连接网关联矩阵的区别，分别用不同的方法将它们变换为同一类方阵，并用此类矩阵理论给出Petri网模型的结构有界性、守恒性、可重复性、协调性的充分条件及相关证明. 采用一个雷达工作过程建模实例详细阐述了该结构理论在实际Petri网模型分析中的应用，为关联矩阵在Petri网模型结构分析中的应用提供了一个可选择的方法.

关键词: Petri网, 结构分析, 关联矩阵, 特征值

Abstract:

By computing eigenvalues of special square matrices derived from the incidence matrices of Petri net models, some important structural properties of Petri nets are analyzed. According to the differences between two types of nets, i.e., choice-free and link-free nets, and non-choice-free and non-link-free nets, two methods are used to transform them into the same class of square matrices. We then obtain sufficient conditions for structure boundedness, conservativeness, repetitiveness and consistency based on the theory of M-matrices. An example of radar model is given to show application in analyzing Petri net structures.

Key words: Petri net, structural analysis, incidence matrix, eigenvalue

中图分类号: