Deadlock Prevention in Manufacturing Systems Based on Petri Nets (CROSBI ID 499234)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Kezić, Danko ; Perić, Nedjeljko ; Petrović, Ivan
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
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
A72422-x.
2004.
objavljeno
Podaci o matičnoj publikaciji
Podaci o skupu
11th International Power Electronics And Motion Control Conference
poster
02.09.2004-04.09.2004
Riga, Latvija