中国邮电高校学报(英文)
Modeling and reachability analysis of synchronizing transitions bounded Petri net systems based upon semi-tensor product of matrices
Gao Na, Han Xiaoguang, Chen Zengqiang, Zhang Qing
Modeling and reachability analysis of synchronizing transitions bounded Petri net systems based upon semi-tensor product of matrices
Gao Na, Han Xiaoguang, Chen Zengqiang, Zhang Qing
中国邮电高校学报(英文版) . 2017, (1): 77 -86 .  DOI: 10.1016/S1005-8885(17)60190-0

版权所有 © 2020 中国邮电高校学报(英文)编辑部　
　 地址：北京邮电大学图书馆1层119 室　邮政编码：100081
Tel：86-010-62282493　Fax： 86-010-62283461　E-mail: jchupt@bupt.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持：support@magtech.com.cn