@article{CHEN Zeng-qiang:72,
author = {[CHEN Zeng-qiang, HAN Xiao-guang, LIU Zhong-xin, ZHANG Kui-ze, ZHANG Qing]},
title = {STP-Based Approach to Modeling and Reachability Analysis of a Class of Petri Net Systems},
publisher = {Journal of Beijing University of Posts and Telecommunications},
year = {2016},
journal = {Journal of Beijing University of Posts and Telecommunications},
volume = {39},
number = {6},
eid = {72},
pages = {72-76},
keywords = {Petri net systems;reachability;the semi-tensor product of matrices;transition-state transfer matrix;transition-state adjacency matrix},
doi = https://journal.bupt.edu.cn/EN/10.13190/j.jbupt.2016.06.014
}