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

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

Title: Petri Nets for Modeling Automated Manufacturing Systems with Error Recovery
Authors: Mu Der Jeng
Contributors: 國立臺灣海洋大學電機工程學系
Date: 1997-10
Issue Date: 2018-11-15T01:42:51Z
Publisher: IEEE Transactions on Robotics and Automation
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 (bounded) and possess structural liveness under two sufficient conditions. The conditions can be checked structurally by an algorithm without enumerating the states. A bounded and live net means that the modeled system cannot have capacity overflows and deadlocks, two types of unwanted behaviors in manufacturing. In this paper it is further proven that under these two sufficient conditions, the class of nets possesses reversibility. Thus the liveness-checking algorithm can be used to check reversibility without modification.
Relation: 13(5) pp.752-760
URI: http://ntour.ntou.edu.tw:8080/ir/handle/987654321/51170
Appears in Collections:[電機工程學系] 期刊論文

Files in This Item:

File Description SizeFormat

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