Frontiers of Computer Science. 2014;8(4):684-692. doi: 10.1007/s11704-014-3002-9 Q17.32025

Property analysis of logic Petri nets by marking reachability graphs

DOI: 10.1007/s11704-014-3002-9

摘要 查看摘要

Copyright © Frontiers of Computer Science. 中文内容为AI机器翻译，仅供参考！