Paper Title:
Petri Net Channelized-Based Deadlock Prevention Policy for Flexible Manufacturing Systems
  Abstract

Petri nets are employed to model flexible manufacturing systems (FMSs). However, the system deadlocked are possible happened. The conventional deadlock prevention policies are always to forbid the system entering the deadlock by using the control places. To obtain a live system, some dead markings must be sacrificed in the traditional policies. Therefore, the original reachability states of the original model can not be conserved. However, this paper is able to maintain all the reachability states of the original net and guaranty the control system live. Under our control policy, all number of reachability states of the original net will be preserved. Finally, two examples are performed that can reach the maximal permissiveness for FMSs using Petri net models (PNMs).

  Info
Periodical
Advanced Materials Research (Volumes 317-319)
Chapter
Materials and Its Applications
Edited by
Xin Chen
Pages
552-555
DOI
10.4028/www.scientific.net/AMR.317-319.552
Citation
Y. S. Huang, T. C. Row, "Petri Net Channelized-Based Deadlock Prevention Policy for Flexible Manufacturing Systems", Advanced Materials Research, Vols. 317-319, pp. 552-555, 2011
Online since
August 2011
Export
Price
$32.00
Share

In order to see related information, you need to Login.

In order to see related information, you need to Login.

Authors: Yi Sheng Huang, Ter Chan Row
Metal alloy Materials
Abstract:Deadlock prevention, deadlock detection and deadlock avoidance strategies are used to solve the deadlock problems of flexible manufacturing...
1498