National Taiwan Ocean University Institutional Repository:Item 987654321/51163
English  |  正體中文  |  简体中文  |  全文笔数/总笔数 : 27314/39158
造访人次 : 2473449      在线人数 : 95
RC Version 4.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
搜寻范围 进阶搜寻

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://ntour.ntou.edu.tw:8080/ir/handle/987654321/51163

题名: Augmented Reachability Trees for 1-Place-Unbounded Generalized Petri Nets
作者: Mu Der Jeng
Mao Yu Peng
贡献者: 國立臺灣海洋大學電機工程學系
日期: 1999-03
上传时间: 2018-11-15T01:05:43Z
出版者: IEEE Transactions on Systems, Man, and Cybernetics - Part A
摘要: Abstract: An augmented reachability tree (ART) is proposed to extend the capability of the classical reachability tree (RT) for analyzing qualitative properties, such as liveness, of a class of unbounded generalized Petri nets, called 1-place-unbounded nets, where there is at most one unbounded place for each net. The idea is based on the computation of the minimal marking of each node in the tree. An algorithm for obtaining the minimal marking is shown. Examples are given to illustrate the technique. In addition to liveness, the proposed method can verify other properties such as reversibility and feasible firing sequences. Furthermore, properties verifiable by RT are also verifiable by ART.
關聯: 29(2) pp.173-183
URI: http://ntour.ntou.edu.tw:8080/ir/handle/987654321/51163
显示于类别:[電機工程學系] 期刊論文

文件中的档案:

档案 描述 大小格式浏览次数
index.html0KbHTML26检视/开启


在NTOUR中所有的数据项都受到原著作权保护.

 


著作權政策宣告: 本網站之內容為國立臺灣海洋大學所收錄之機構典藏,無償提供學術研究與公眾教育等公益性使用,請合理使用本網站之內容,以尊重著作權人之權益。
網站維護: 海大圖資處 圖書系統組
DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - 回馈