Danko Kezić
Radovan Antonić
Nikola Račić
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.
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
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