engleski

Deadlock Prevention in Manufacturing Systems Based on Petri Nets

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.

Control; Petri nets

nije evidentirano