hrcak mascot   Srce   HID

Prethodno priopćenje
https://doi.org/10.7225/toms.v01.n01.004

Design of Deadlock Prevention Supervisor in Waterway with Multiple Locks and Canals

Danko Kezić ; Faculty of Maritime Studies in Split
Stjepan Bogdan ; Faculty of Electrical Engineering and Computing, Zagreb
Josip Kasum ; Faculty of Maritime Studies in Split

Puni tekst: engleski, pdf (1 MB) str. 22-34 preuzimanja: 372* citiraj
APA 6th Edition
Kezić, D., Bogdan, S. i Kasum, J. (2012). Design of Deadlock Prevention Supervisor in Waterway with Multiple Locks and Canals. Transactions on Maritime Science, 01 (01), 22-34. https://doi.org/10.7225/toms.v01.n01.004
MLA 8th Edition
Kezić, Danko, et al. "Design of Deadlock Prevention Supervisor in Waterway with Multiple Locks and Canals." Transactions on Maritime Science, vol. 01, br. 01, 2012, str. 22-34. https://doi.org/10.7225/toms.v01.n01.004. Citirano 06.12.2019.
Chicago 17th Edition
Kezić, Danko, Stjepan Bogdan i Josip Kasum. "Design of Deadlock Prevention Supervisor in Waterway with Multiple Locks and Canals." Transactions on Maritime Science 01, br. 01 (2012): 22-34. https://doi.org/10.7225/toms.v01.n01.004
Harvard
Kezić, D., Bogdan, S., i Kasum, J. (2012). 'Design of Deadlock Prevention Supervisor in Waterway with Multiple Locks and Canals', Transactions on Maritime Science, 01(01), str. 22-34. https://doi.org/10.7225/toms.v01.n01.004
Vancouver
Kezić D, Bogdan S, Kasum J. Design of Deadlock Prevention Supervisor in Waterway with Multiple Locks and Canals. Transactions on Maritime Science [Internet]. 2012 [pristupljeno 06.12.2019.];01(01):22-34. https://doi.org/10.7225/toms.v01.n01.004
IEEE
D. Kezić, S. Bogdan i J. Kasum, "Design of Deadlock Prevention Supervisor in Waterway with Multiple Locks and Canals", Transactions on Maritime Science, vol.01, br. 01, str. 22-34, 2012. [Online]. https://doi.org/10.7225/toms.v01.n01.004

Sažetak
To avoid conflict and deadlock states in waterway with multiple locks and canals, a computer based traffic management system with proper control policy must be applied. The paper proposes a formal method for design of deadlock prevention supervisor by using discrete event theory, multiple reentrant flowlines class of Petri net and P-invariants control places calculation. By using and/or matrix algebra, authors analyze the structural characteristics of Petri net in order to find first and second level deadlocks. First level deadlocks are prevented by maintaining the number of vessels in the critical subsystems below the number of vessels in the critical circuits. A method for second level deadlock prevention, which is based on P-invariants, ensures that the key resources would not be the last available resources in the system. Functionality of the supervisor is verified by a computer simulation using Matlab software with Petri net toolbox and P-timed Petri net model of waterway.

Ključne riječi
Waterway traffic management system; Supervisory control; Deadlock prevention

Hrčak ID: 79982

URI
https://hrcak.srce.hr/79982

Posjeta: 570 *