中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
  2. 自动化研究所
  3. 中国科学院自动化研究所
  4. 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
关键词analysis method discrete event systems Petri nets reachability tree
通讯作者Wang, FY
英文摘要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.
WOS标题词Science & Technology ; Technology
类目[WOS]Automation & Control Systems ; Computer Science, Artificial Intelligence ; Computer Science, Cybernetics
研究领域[WOS]Automation & Control Systems ; Computer Science
收录类别SCI
语种英语
WOS记录号WOS:000188464600028
源URL[http://ir.ia.ac.cn/handle/173211/9036]  
专题自动化研究所_09年以前成果
作者单位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.

入库方式： OAI收割

来源：自动化研究所

浏览0
下载0
收藏0
其他版本

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