STP-based approach to modeling and reachability analysis of a class of petri net systems

被引：0
|
作者：
Han X.-G. [1 ,2 ]
Chen Z.-Q. [1 ,2 ,3 ]
Zhang K.-Z. [4 ]
Liu Z.-X. [1 ,2 ]
Zhang Q. [3 ]
机构：
[1] College of Computer and Control Engineering, Nankai University, Tianjin
[2] Tianjin Key Laboratory of Intelligent Robotics, Nankai University, Tianjin
[3] College of Science, Civil Aviation University of China, Tianjin
[4] College of Automation, Harbin Engineering University, Harbin
来源：
| 1600年 / Beijing University of Posts and Telecommunications卷 / 39期
关键词：
Petri net systems; Reachability; The semi-tensor product of matrices; Transition-state adjacency matrix; Transition-state transfer matrix;
D O I：
10.13190/j.jbupt.2016.06.014
中图分类号：
学科分类号：
摘要：
Modeling and reachability of a class of Petri net systems (PNSs) by using the semi-tensor product of matrices (STP) was investigated. First, the dynamics of PNSs, by resorting to STP, are converted into a discrete-time bilinear equation. Second, the transition-state adjacency matrix of the PNSs is defined, several necessary and sufficient conditions are obtained for the reachability of the PNSs by means of this bilinear equation and transition-state adjacency matrix. A new algorithm is also designed to find all of the firing sequences of any two reachable states. Finally, an example is presented to illustrate the theoretical results. © 2016, Editorial Department of Journal of Beijing University of Posts and Telecommunications. All right reserved.
引用
收藏
页码：72 / 76
页数：4
相关论文
共 6 条
  • [1] Murata T., Petri nets: properties, analysis and applications, Proceedings of the IEEE, 77, 4, pp. 541-580, (1989)
  • [2] Tsuji K., Murata T., On reachability conditions for unrestricted Petri nets, IEEE International Symposium on Circuits and Systems, pp. 2713-2716, (1993)
  • [3] Kumagai S., Kodama S., Kitagawa M., Submarking reachability of marked graphs, IEEE Transactions on Circuits and Systems, 31, 2, pp. 159-164, (1984)
  • [4] Peterson J., Petri Nets, Computing Surveys, 9, 3, pp. 223-252, (1977)
  • [5] Cheng D., Qi H., Zhao Y., An Introduction to Semi-Tensor Product of Matrices and its Applications, (2012)
  • [6] Gradshteyn S., Ryzhik M., Tables of Integrals, Series, and Products, (2000)
1