English  |  正體中文  |  简体中文  |  Items with full text/Total items : 28611/40649
Visitors : 614574      Online Users : 77
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/51202

Title: Synthesis Using Resource Control Nets for Modeling Shared-Resource Systems
Authors: Mu Der Jeng
F. DiCesare
Contributors: 國立臺灣海洋大學電機工程學系
Date: 1995-06
Issue Date: 2018-11-16
Publisher: IEEE Transactions on Robotics and Automation
Abstract: Abstract: This paper proposes a general approach to synthesize a class of Petri nets that model shared-resource automated manufacturing systems. The approach imposes minimal restrictions on the interactions among subsystems initially so that the modeler is given significant freedom. To modularize the synthesis procedure, a shared-resource system is formulated from the processes. i.e., the subsystems, that control the system resources and the interactions among the processes. For modeling the processes. Resource control nets are defined as the basic generic modules. Then, the system model is built by merging these modules through their common transitions and common transition subnets, which denote the interactions among the processes. The merged net is proven to be conservative and thus bounded. An algorithm is also developed to check two sufficient conditions for structural liveness of the net. This algorithm examines only the net's structure, and appears to be more efficient than state enumeration techniques such as the reachability graph method.
Relation: 11(3) pp.317-327
URI: http://ntour.ntou.edu.tw:8080/ir/handle/987654321/51202
Appears in Collections:[電機工程學系] 期刊論文

Files in This Item:

File Description SizeFormat
index.html0KbHTML33View/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