A deadlock prevention policy for flexible manufacturing systems using siphons

We present a new deadlock prevention algorithm for a class Petri nets. A new class of net that is extended from S/sup 3/PR, called ES/sup 3/PR, where deadlocks are related to unmarked siphons. This method is an iterative approach by adding two kinds of control places, called the ordinary control pla...

Full description

Saved in:
Bibliographic Details
Main Authors: Huang, Y S, Jeng, M D, Xie, X L, Chung, S L
Format: Conference Proceeding
Language:English
Subjects:
Flexible manufacturing systems
Iterative algorithms
Iterative methods
Marine technology
Oceans
Petri nets
Power system modeling
Production
System recovery
Weight control
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We present a new deadlock prevention algorithm for a class Petri nets. A new class of net that is extended from S/sup 3/PR, called ES/sup 3/PR, where deadlocks are related to unmarked siphons. This method is an iterative approach by adding two kinds of control places, called the ordinary control place and weighted control place, to the original model to prevent siphons from being unmarked. We obtained the relation of the algorithm, liveness and reversibility of the controlled net. Finally, a flexible manufacturing example is presented for illustrating the method.
ISSN:1050-4729
2577-087X
DOI:10.1109/ROBOT.2001.932606