English  |  正體中文  |  简体中文  |  Items with full text/Total items : 28611/40649
Visitors : 613053      Online Users : 58
RC Version 4.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
Scope Adv. Search
LoginUploadHelpAboutAdminister

Please use this identifier to cite or link to this item: http://ntour.ntou.edu.tw:8080/ir/handle/987654321/51173

Title: On the Reversibility Problem in a Class of Synthesized Petri Nets
Authors: Mu Der Jeng
Contributors: 國立臺灣海洋大學電機工程學系
Date: 1995-10
Issue Date: 2018-11-15T01:58:27Z
Publisher: Proceedings of IEEE International Conference on Systems, Man, and Cybernetics, Vancouver, Canada, pp. 1855-1860, October 1995 (NSC83-0408-E-019-005, NSC84-2213-E-019-005)
Abstract: Abstract: This paper enhances a Petri net synthesis theory with the capability to deal with reversibility, which is an important property related to the concept of error recovery in manufacturing. The theory has been proposed to synthesize a class of Petri nets for modeling shared-resource automated manufacturing systems. The class of nets has been shown to be conservative (boundedness) and possess structural liveness under two sufficient conditions which can be checked structurally by an algorithm without enumerating the states. In this paper it is further proven that under two sufficient conditions the class of nets possesses reversibility. It is shown that the first condition for reversibility is the same as that for liveness while the second condition for reversibility is contained in that for liveness. Thus the liveness-checking algorithm can be used to check reversibility with slight modification.
URI: http://ntour.ntou.edu.tw:8080/ir/handle/987654321/51173
Appears in Collections:[電機工程學系] 期刊論文

Files in This Item:

File Description SizeFormat
index.html0KbHTML13View/Open


All items in NTOUR are protected by copyright, with all rights reserved.

 


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