English  |  正體中文  |  简体中文  |  Items with full text/Total items : 26992/38793
Visitors : 2385895      Online Users : 24
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/51122

Title: Process Nets with Resources for Manufacturing Modeling and Their Analysis
Authors: MuDer Jeng
Xiaolan Xie
MaoYu Peng
Contributors: 國立臺灣海洋大學電機工程學系
Keywords: Deadlocks
liveness
reversibility
shared-resource systems
siphons and traps
Date: 2002-12
Issue Date: 2018-11-13T03:15:04Z
Publisher: IEEE Transactions on Robotics and Automation
Abstract: Abstract: This paper presents a new class of Petri nets, called process nets with resources (PNRs), for modeling manufacturing systems where only parts can interact with resources, and resources alone cannot interact with one another. PNRs properly include S/sup 3/PR, augmented marked graphs, and some subclasses of resource control net (RCN) merged nets and ERCN merged nets. As a result, PNRs can model far more complex manufacturing process flows and resource sharing than these nets. To construct a PNR, we first build a process net to specify the process flow for each part type. A process net is a consistent, conservative, strongly connected, and live Petri net that satisfies three conditions, including strong reversibility. Then resource places denoting the availability of resource types are added to the process nets. We generalize strong reversibility for PNRs in order to check a sufficient condition for reversibility of PNRs. It is shown that strong reversibility and reversibility of a PNR depends on the siphons. Liveness of a PNR can be verified by checking the potential firing ability of all transitions of each isolated process net, which is, informally speaking, a process net with all resources allocated to it. A manufacturing example is given to show the applicability of PNRs.
Relation: 18(6) pp.875-889
URI: http://ntour.ntou.edu.tw:8080/ir/handle/987654321/51122
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