%0 Journal Article
%A CHEN Zeng-qiang
%A HAN Xiao-guang
%A LIU Zhong-xin
%A ZHANG Kui-ze
%A ZHANG Qing
%T STP-Based Approach to Modeling and Reachability Analysis of a Class of Petri Net Systems
%D 2016
%R 10.13190/j.jbupt.2016.06.014
%J Journal of Beijing University of Posts and Telecommunications
%P 72-76
%V 39
%N 6
%X 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.
%U https://journal.bupt.edu.cn/EN/10.13190/j.jbupt.2016.06.014