Reachability determination in acyclic Petri nets by cell enumeration approach
Duan Li; Xiaoling Sun; Jianjun Gao; Shenshen Gu; Xiaojin Zheng
- 作者Duan Li; Xiaoling Sun; Jianjun Gao; Shenshen Gu; Xiaojin Zheng
- 卷第47卷
- 期第9期
- 印刷ISSN0005-1098
- 文件大小433.32KB
- 发表时间2011
- DOI10.1016/j.automatica.2011.06.017
- 页码2094-2098