Collision prevention in Singapore Strait by using timed Petri net

    Rino Bošnjak Affiliation
    ; Danko Kezić Affiliation
    ; Pero Vidan Affiliation
    ; Zvonko Kavran Affiliation


The problem of maritime traffic in Singapore Strait is traffic density, also the probability of collision, which is increased beside the existing Vessel Traffic System (VTS). The paper discusses the synthesis early warning system, or automatic crossing supervisor for Singapore Strait by using the Timed Petri Nets (TPN). Authors proposes dividing the strait in zones, so called crossings, where routes are crossing and in which the number of ships must be limited. The maximum number of vessels in period of time of the highest traffic density through the crossings are determined. Derived constraints are used for synthesis of crossing supervisor. The authors uses Petri nets to make model Singapore Strait, and use P-invariant method to syntheses crossing supervisor, which limits the number of ships in all critical crossings. Finally, the author verified derived supervisor by using Visual Object Net ++ programme for computer simulation. With the aid of Transas nautical simulator, the traffic in the strait is analysed.

First published online 09 December 2019

Keyword : maritime transport, safety, Singapore Strait, supervisor, Petri net, simulation, vessel traffic system

How to Cite
Bošnjak, R., Kezić, D., Vidan, P., & Kavran, Z. (2020). Collision prevention in Singapore Strait by using timed Petri net. Transport, 35(3), 273-282.
Published in Issue
Jul 9, 2020
Abstract Views
PDF Downloads
Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.


Alexander, L.; Lee, S.; A. Baranowski, A.; Porathe, T. 2013. Harmonised portrayal of e-navigation-related information, TransNav: International Journal on Marine Navigation and Safety of Sea Transportation 7(1): 39–43.

Bordbar, B.; Al-Ajeli, A.; Alodib, M. 2014. On diagnosis of violations of constraints in Petri Net models of discrete event systems, in 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, 10–12 November 2014, Limassol, Cyprus, 673–680.

Drath, R. 2019. Visual Object Net++. Website of the Prof. Rainer Drath. Available from Internet:

Harušťák, M.; Hrúz, B. 2000. Supervisory control of discrete event systems and its solution with the Petri Net P-invariants, IFAC Proceedings Volumes 33(13): 385–389.

Kao, S.-L.; Lee, K.-T.; Chang, K.-Y.; Ko, M.-D. 2007. A fuzzy logic method for collision avoidance in vessel traffic service, The Journal of Navigation 60(1): 17–31.

Kezić, D.; Perić, N.; Petrović, I. 2005. A Petri Net approach of deadlock prevention in marine traffic system, in Proceedings of the IEEE International Symposium on Industrial Electronics, 2005 – ISIE 2005, 20–23 June 2005, Dubrovnik, Croatia, 217–222.

Kezić, D.; Perić, N.; Petrović, I. 2006. An algorithm for deadlock prevention based on iterative siphon control of Petri Net, Automatika: Journal for Control, Measurement, Electronics, Computing and Communications 47(1–2): 19–30.

Lazarowska, A. 2014. Ship’s trajectory planning for collision avoidance at sea based on ant colony optimisation, The Journal of Navigation 68(2): 291–307.

Li, Y.; Wonham, W. M. 1993. Control of vector discrete-event systems. I. The base model, IEEE Transactions on Automatic Control 38(8): 1214–1227.

Mansson, J. T.; Lutzhoft, M.; Brooks, B. 2017. Joint activity in the maritime traffic system: perceptions of ship masters, maritime pilots, tug masters, and vessel traffic service operators, The Journal of Navigation 70(3): 547–560.

MPA Singapore. 2019. Vessel Traffic Information System. Maritime and Port Authority of Singapore (MPA Singapore). Available from Internet:

Murata, T. 1989. Petri nets: properties, analysis and applications, Proceedings of the IEEE 77(4): 541–580.

NSHC. 2012. MONALISA Project: MONALISA – Motorways & Electronic Navigation by Intelligence at Sea. North Sea Hydrographic Commission (NSHC). 6 p. Available from Internet:

Pietrzykowski, Z.; Wołejsza, P.; Borkowski, P. 2017. Decision support in collision situations at sea, Journal of Navigation 70(3): 447–464.

Porathe, T.; Borup, O.; Jeong, J. S.; Park, J. H.; Camre, D. A.; Brödje, A. 2014. Ship traffic management route exchange: acceptance in Korea and Sweden, a cross cultural study, in Proceedings of the International Symposium Information on Ships (ISIS 2014), 4–5 September 2014, Hamburg, Germany, 64–79.

Porathe, T.; Lützhöft, M.; Praetorius, G. 2013. Communicating intended routes in ECDIS: evaluating technological change, Accident Analysis & Prevention 60: 366–370.

SCM. 2014. Implementation Security Courses under STCW 1978 as Amended: SCM Circular to Shipowners, Shipyards, Masters, Agents and Relevant Interest Parties. Ships Classification Malaysia (SCM). 2 p. Available from Internet:

Singapore DOS. 2019. Singapore Department of Statistics (DOS). Available from Internet:

StrasseLink. 2017. Straits. Available from Internet:

Szlapczynski, R. 2013. Evolutionary sets of safe ship trajectories within traffic separation schemes, The Journal of Navigation 66(1): 65–81.

Wang, J. 1998. Timed Petri Nets: Theory and Application. Springer. 281 p.

Weng, J.; Meng, Q.; Qu, X. 2012. Vessel collision frequency estimation in the Singapore Strait, The Journal of Navigation 65(2): 207–221.

Yamalidou, K.; Moody, J.; Lemmon, M.; Antsaklis, P. 1996. Feedback control of petri nets based on place invariants, Automatica 32(1): 15–28.