QQ客服 官方微博 反馈留言

	A reduced reachability tree for a class of unbounded petri nets
	Wang, Shouguang; Gan, Mengdi; Zhou, Mengchu; You, Dan
刊名	IEEE/CAA Journal of Automatica Sinica
	2015
卷号	2期号:[db:dc_citation_issue]页码:345-352
关键词	Analysis tools Boundedness deadlock Generalized net Liveness Reachability Reachability tree Tree size
ISSN号	2329-9266
DOI	[db:dc_identifier_doi]
URL标识	查看原文
WOS记录号	[DB:DC_IDENTIFIER_WOSID]
内容类型	期刊论文
URI标识	http://www.corc.org.cn/handle/1471x/3266554
专题	西安交通大学
推荐引用方式 GB/T 7714	Wang, Shouguang,Gan, Mengdi,Zhou, Mengchu,et al. A reduced reachability tree for a class of unbounded petri nets[J]. IEEE/CAA Journal of Automatica Sinica,2015,2([db:dc_citation_issue]):345-352.
APA	Wang, Shouguang,Gan, Mengdi,Zhou, Mengchu,&You, Dan.(2015).A reduced reachability tree for a class of unbounded petri nets.IEEE/CAA Journal of Automatica Sinica,2([db:dc_citation_issue]),345-352.
MLA	Wang, Shouguang,et al."A reduced reachability tree for a class of unbounded petri nets".IEEE/CAA Journal of Automatica Sinica 2.[db:dc_citation_issue](2015):345-352.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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