作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
一种改进的Petri网S不变量计算方法
周丰, 王明哲, 王莉
Improved Computing Method for S-invariants of Petri Nets
ZHOU Feng, WANG Meng-Zhe, WANG Chi
计算机工程 . 2010, (17): 1 -3 .  DOI: 10.3969/j.issn.1000-3428.2010.17.001