@article{陈增强:72,
author = {[陈增强, 韩晓光, 刘忠信, 张奎泽, 张青]},
title = {一类Petri网系统建模与可达性分析的STP方法},
publisher = {北京邮电大学学报},
year = {2016},
journal = {北京邮电大学学报},
volume = {39},
number = {6},
eid = {72},
pages = {72-76},
keywords = {Petri网系统;可达性;矩阵的半张量积;变迁-状态转移矩阵;变迁-状态邻接矩阵},
doi = https://journal.bupt.edu.cn/CN/10.13190/j.jbupt.2016.06.014
}