Modeling and analysis of colored petri net based on the semi-tensor product of matrices

作     者：Jiantao ZHAO Zengqiang CHEN Zhongxin LIU 

作者机构：College of Computer and Control Engineering Nankai University Key Laboratory of Intelligent Robotics of Tianjin Nankai University 

出 版 物：《Science China(Information Sciences)》 (中国科学:信息科学(英文版))

年 卷 期：2018年第61卷第1期

页      面：70-85页

核心收录：

学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：supported by National Natural Science Foundation of China (Grant Nos. 61573199, 61573200) Tianjin Natural Science Foundation of China (Grant Nos. 14JCYBJC18700, 13JCYBJC17400) 

主　　题：colored petri net reachability controllability marking evolution equation semi-tensor product of matrices 

摘      要：This paper applies the model petri net method based on the semi-tensor product of matrices to colored petri net. Firstly, we establish the marking evolution equation for colored petri net by using the semitensor product of matrices. Then we define the concept of controllability and the control-marking adjacency matrix for colored petri net. Based on the marking evolution equation and control-marking adjacency matrix, we give the necessary and sufficient condition of reachability and controllability for colored petri net. The algorithm to verify the reachability of colored petri net is given, and we analyze the computational complexity of the algorithm. Finally, an example is given to illustrate the effectiveness of the proposed theory. The significance of the paper lies in the application of the model petri net method based on the semitensor product of matrices to colored petri net. This is a convenient way of verifying whether one marking is reachable from another one as well as finding all firing sequences between any two reachable ***, the method lays the foundations for the analysis of other properties of colored petri net.