Let's Connect
Follow Us
Watch Us
(+385) 1 2380 262
journal.prometfpz.unizg.hr
Promet - Traffic&Transportation journal

Accelerating Discoveries in Traffic Science

Accelerating Discoveries in Traffic Science

PUBLISHED
-
DOI
-
LICENSE
Copyright (c) 2024 Danko Kezić, Radovan Antonić, Nikola Račić

Automatic Supervisory System Synthesis for Port Cranes Collision Prevention by Using Petri Net

Authors:

Danko Kezić

Radovan Antonić

Nikola Račić

Keywords:collision prevention, motion control of cranes

Abstract

The article deals with the system of port cranes comprisingtwo independently controlled cranes which are simultaneouslyengaged in the transhipment of cargo between a vessel and arailway wagon assembly alongside. The crane operator's errorcan lead to tlie collision of cranes. Therefore, it is necessary toinstall the supervisor in an automatic control system with thefunctions of continuous supervision of the process of cranemovement, and blocking of commands that can lead to collision.The article shows the method of crane system modellingas a discrete event system by using PIT and P-timed Petri nets.There is a proposal of a formal mathematic method for calculationof the state supervisor by P-invariant method. The supervisorcalculated in this way is maximally permissive supervisor.The efficiency of the supervisor is verified by a computer simulation.

References

  1. Barkaoui, K., Abdallab, J,: Deadlock Avoidance in FMS

    Based on Structural theory of Petri Nets. IEEE Symposium

    on Emerging Technologies and Factory Automation,

    , pp 499-510.

    David, R., Alia, H.: Discrete, Continuous, and Hybrid

    Petri Nets, Springer, 2005.

    Desrochers, A. A., AI-Jaar, R. Y.: Applications of Petri

    Nets in Manufacturing Systems. IEEE Control Systems

    Society, IEEE press, 1995, New York.

    Giua, A., DiCesare, F., Silva, M.: Petri Net Supervisors

    for Generalized Mutual Exclusion Constraints. Proc.

    IFAC 12th Triennial World Congress, Vol. 1, Sydney

    , pp. 267-270.

    Haoxun, C.: Control synthesis of Petri nets based on

    S-decreases. Discrete Event Dynamic Systems, Kluwer

    Academic Publishers, Vol. 10, No. 3~ Netherlands 2000,

    pp. 233-249.

    Harustak, M., Hruz, B.: Supervisory control of Discrete

    event systems and its solutions with the Petri net P-invarijants.

    IFAC Con£. on Control Systems Desi

Show more
How to Cite
Kezić, D. (et al.) 1900. Automatic Supervisory System Synthesis for Port Cranes Collision Prevention by Using Petri Net. Traffic&Transportation Journal. 18, 3 (Jan. 1900), 143-150. DOI: https://doi.org/.

SPECIAL ISSUE IS OUT

Guest Editor: Eleonora Papadimitriou, PhD

Editors: Marko Matulin, PhD, Dario Babić, PhD, Marko Ševrović, PhD


Accelerating Discoveries in Traffic Science |
2024 © Promet - Traffic&Transportation journal