Deadlock Prevention and Deadlock Avoidance in Flexible Manufacturing Systems using Petri Net Models

Viswanadham, N and Narahari, Y and Johnson, Timothy L (1990) Deadlock Prevention and Deadlock Avoidance in Flexible Manufacturing Systems using Petri Net Models. In: IEEE Transactions on Robotics and Automation, 6 (6). pp. 713-723.

Preview

PDF deadlock.pdf Download (456kB)

Abstract

Deadlocks constitute an important issue to be addressed in the design and operation of flexible manufacturing systems (FMSs). In this paper, we show that prevention and avoidance of FMS deadlocks can be implemented using Petri net models. For deadlock prevention, we use the reachability graph of a Petri net model of the given FMS, whereas for deadlock avoidance, we propose a Petri-net-based online controller. We discussing the modeling of the General Electric FMS at Erie, PA. For such real-world systems, deadlock prevention using the reachability graph is not feasible. We develop a generic, Petri-net-based online controller for implementing deadlock avoidance in such real-world FMSs.

Item Type:	Journal Article
Publication:	IEEE Transactions on Robotics and Automation
Publisher:	IEEE
Additional Information:	©1990 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Keywords:	flexible manufacturing system (FMS);General Electric FMS;deadlock prevention;deadlock avoidance;Petri Net models
Department/Centre:	Division of Electrical Sciences > Computer Science & Automation
Date Deposited:	18 Oct 2005
Last Modified:	19 Sep 2010 04:20
URI:	http://eprints.iisc.ac.in/id/eprint/3840

Actions (login required)

View Item