Automatic Supervisory System Synthesis for Port Cranes Collision Prevention by Using Petri Net
Downloads
Downloads
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 Design (CSD'
/2000), Bratislava, Slovak Republic 2000, pp. 390-394.
Kezic D., Antonic R., Munitic A.: Calculation of Collision
Prevention Supervisor of Port Cranes System by
using Petri nets, Proc. of 13th International Conference
on Electrical Drives and Power Electronics, Dubrovnik,
Croatia, 26-28 September 2005, CD Proceedings
EDPE 2005, ISBN 953-6037-43-2, UDK 621.31 (063)
(048), 621.38.022 (063) (048), pp. E05-46-l, E05-46-10.
Kezic, D., Peric, N., Petrovic, I.: A Petri Net Approach of
Deadlock Prevention in Batch Processes in Case of Failure.
in Proc. of Int. Symposium of Industrial Electronics,
L'Aquila, Italia, 2002, pp. 205-210.
Kezic D., Peric N., Petrovic 1.: Deadlock Prevention in
Manufacturing Systems Based on Petri Nets. Proc. of 11th
International Power Electronics and Motion Control
Conference, Vol. 4, Riga, Latvia, 2-4 September 2004,
pp. 320-327.
Li, Y., Wonbam, W. M.: Control of vector discrete systems
I - the base model. IEEE Trans. on Automatic
Control, Vol. 38, No. 8, 1993, pp. 1214-1227.
Li, Y., Wonbam, W. M.: Control of vector discrete systems
- controller synthesis. IEEE Trans. on Automatic
Control, Vol. 39, No. 3, 1994, pp. 512-531.
Murata, T.: Petri Nets: Properties, Analysis and Applications.,
in Proc. ofthe IEEE, 77(4), 1989, pp 541-580.
Yamalidou, K., Moody, J., Lemmon, M., Antsaklis, P.:
Feedback Control of Petri Nets Based on Place Invariants.
Automatica, Vol. 32, No. 1, 1996, pp. 15-28.
