Naslov
Calculation of collision prevention supervisor of port cranes system by using Petri nets
(Calculation of colission prevention superviser of port cranes system by using Petri nets)

Autori
Kezić, Danko ; Antonić, Radovan ; Munitić, Ante

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

Izvornik
EDPE 2005 Abstracts & CD Proceedings Program / Zvonko Benčić - Zagreb : Hrvatsko društvo za komunikacije, računarstvo, elektroniku, mjerenja I automatiku (KoREMA), 2005

Skup
13th International Conference on Electric Drives and Power Electronics

Mjesto i datum
Dubrovnik, Hrvatska, 26.09.2005. - 28.09.2005

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Industrial applications; Motion control

Sažetak
The article deals with the system of port cranes comprising of three independently controlled cranes which are simultaneously engaged in the transshipment of cargo between a bulk carrier and a railway wagon assembly alongside. The crane operator’ s error can lead to the collision of cranes. Therefore it is necessary to install the supervisor in an automatic control system with the functions of continuous supervision of the process of crane movement, and blocking of commands that can lead to collision. The article shows the method of crane system modeling as a discrete event system by using Petri nets. There is a proposal of a formal mathematic method for calculation of the state supervisor by P-invariant method. The supervisor calculated in this way is maximally permissive supervisor. The efficiency of tha supervisor is verified by a computer simulation.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA