Naslov
Deadlock Prevention in Manufacturing Systems Based on Petri Nets

Autori
Kezić, Danko ; Perić, Nedjeljko ; Petrović, Ivan

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
CD-ROM Proceedings of the 11th International Power Electronics and Motion Control Conference (EPE-PEMC) / - Riga, 2004

Skup
11th International Power Electronics and Motion Control Conference

Mjesto i datum
Riga, Latvija, 02.09.2004. - 04.09.2004

Vrsta sudjelovanja
Poster

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Control; Petri nets

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika

POVEZANOST RADA