CORC  > 西安交通大学
New Reachability Trees for Unbounded Petri Nets
Wang, ShouGuang; Zhou, MengChu; Gan, MengDi; You, Dan; Li, Yue
2015
关键词deadlock Petri nets Discrete-event system (DES) reachability tree
期号[db:dc_citation_issue]
DOI[db:dc_identifier_doi]
页码3862-3867
会议录2015 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA)
URL标识查看原文
ISSN号1050-4729
WOS记录号[DB:DC_IDENTIFIER_WOSID]
内容类型会议论文
URI标识http://www.corc.org.cn/handle/1471x/3232451
专题西安交通大学
推荐引用方式
GB/T 7714
Wang, ShouGuang,Zhou, MengChu,Gan, MengDi,et al. New Reachability Trees for Unbounded Petri Nets[C]. 见:.
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace