| |
Deadlock Prevention In Manufacturing Systems Based On Petri Nets
| [View]
[Download]
|
| Author(s) |
Danko Kezic, Nedjeljko Petric, Ivan Petrovic |
| Abstract |
This paper deals with a deadlock prevention method
in manufacturing systems based on Petri nets. The
manufacturing system is a discrete event system which has the
potential deadlock states. The paper shows how it is possible to
model manufacturing system by Petri net and how it is possible
to synthesize the Petri net supervisor that will prevent deadlock
occurrence. Deadlock prevention algorithm proposed in this
paper uses reachability tree to detect deadlock state and iterative
siphon control method to synthesize the supervisor. Such
deadlock prevention supervisor is maximally permissive and
consists of minimal number of control places. The algorithm is
usable for reversible or partially reversible P-T Petri net, but it
can also be applied to ordinary nets. Finally, illustrative
example of deadlock prevention of a flexible assembly cell with
three robots and conveyors is presented. |
| Download |
| Filename: | A72422 |
| Filesize: | 204.1 KB |
|
| Type |
Members Only |
| Date |
Last modified 2006-02-17 by System |
| |
 |