A modified reachability tree approach to analysis of unbounded Petri nets

CASIA OpenIR > 09年以前成果

	A modified reachability tree approach to analysis of unbounded Petri nets
	Wang, FY; Gao, YQ ; Zhou, MC
发表期刊	IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS
	2004-02-01
卷号	34 期号:1 页码:303-308
文章类型	Article
摘要	Reachability trees, especially the corresponding Karp-Miller's finite reachability trees generated for Petri nets are fundamental for systematically investigating many characteristics such as boundedness, liveness, and performance of systems modeled by Petri nets. However, too much information is lost in a FRT to render it useful for many applications. In this paper, modified reachability trees (MRT) of Petri nets are introduced that extend the capability of Karp-Miller's FRTs in solving the liveness, deadlock, and reachability problems, and in defining or determining possible firing sequences. The finiteness of MRT is proved and several examples are presented to illustrate the advantages of MRT over FRT.
关键词	Analysis Method Discrete Event Systems Petri Nets Reachability Tree
WOS标题词	Science & Technology ; Technology
收录类别	SCI
语种	英语
WOS研究方向	Automation & Control Systems ; Computer Science
WOS类目	Automation & Control Systems ; Computer Science, Artificial Intelligence ; Computer Science, Cybernetics
WOS记录号	WOS:000188464600028
引用统计	被引频次：39[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://ir.ia.ac.cn/handle/173211/9036
专题	09年以前成果
通讯作者	Wang, FY
作者单位	1.Chinese Acad Sci, Inst Automat, Complex Syst & Intelligence Sci Lab, Beijing 100080, Peoples R China 2.Univ Arizona, Program Adv Res Complex Syst, Dept Syst & Ind Engn, Tucson, AZ 85721 USA 3.New Jersey Inst Technol, Dept Elect & Comp Engn, Newark, NJ 07102 USA
推荐引用方式 GB/T 7714	Wang, FY,Gao, YQ,Zhou, MC. A modified reachability tree approach to analysis of unbounded Petri nets[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS,2004,34(1):303-308.
APA	Wang, FY,Gao, YQ,&Zhou, MC.(2004).A modified reachability tree approach to analysis of unbounded Petri nets.IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS,34(1),303-308.
MLA	Wang, FY,et al."A modified reachability tree approach to analysis of unbounded Petri nets".IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS 34.1(2004):303-308.

条目包含的文件		下载所有文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
A Modified Reachabil（184KB）	期刊论文	作者接受稿	开放获取	CC BY-NC-SA	浏览下载