Implementation of International Regulations for Preventing Collisions at Sea Using Coloured Petri Nets
The purpose of this study is to show how coloured Petri nets can be used to select the crossing rules guaranteeing that two ships avoid collisions at sea in accordance with the international regulations on this matter. This paper is exclusively focused on the solution to this small sub-problem withi...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2023-06-01
|
| Series: | Journal of Marine Science and Engineering |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2077-1312/11/7/1322 |
| _version_ | 1827732754673958912 |
|---|---|
| author | Vladimir Brozovic Danko Kezic Rino Bosnjak Srecko Krile |
| author_facet | Vladimir Brozovic Danko Kezic Rino Bosnjak Srecko Krile |
| author_sort | Vladimir Brozovic |
| collection | DOAJ |
| description | The purpose of this study is to show how coloured Petri nets can be used to select the crossing rules guaranteeing that two ships avoid collisions at sea in accordance with the international regulations on this matter. This paper is exclusively focused on the solution to this small sub-problem within the overall “Collision Avoidance System” that the authors of the present study are currently developing. For easier understanding, the overall system is also briefly presented. How the Petri net in the <i>CPN Tools</i> software is fed with “Real Time Real World” data is presented. These data are generated outside the Petri net from the function block to predict a possible collision and from the current meteorological data. We also demonstrate how the rule selections made by the Petri net are transferred from the <i>CPN Tools</i> software into the “Real Time Real World”. This transferred information is used outside the Petri net in the function block to calculate avoidance routes. The definition of the colour sets that are used and the individual operations applied to these colour sets in the coloured Petri net are presented. |
| first_indexed | 2024-03-11T00:56:32Z |
| format | Article |
| id | doaj.art-45596d9624c64097a0fb56ae4429bfea |
| institution | Directory Open Access Journal |
| issn | 2077-1312 |
| language | English |
| last_indexed | 2024-03-11T00:56:32Z |
| publishDate | 2023-06-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Journal of Marine Science and Engineering |
| spelling | doaj.art-45596d9624c64097a0fb56ae4429bfea2023-11-18T19:58:32ZengMDPI AGJournal of Marine Science and Engineering2077-13122023-06-01117132210.3390/jmse11071322Implementation of International Regulations for Preventing Collisions at Sea Using Coloured Petri NetsVladimir Brozovic0Danko Kezic1Rino Bosnjak2Srecko Krile3SEAL AG, 5430 Wettingen, SwitzerlandFaculty of Maritime Studies, University of Split, 21000 Split, CroatiaFaculty of Maritime Studies, University of Split, 21000 Split, CroatiaElectrical Engineering and Computing Department, University of Dubrovnik, 20000 Dubrovnik, CroatiaThe purpose of this study is to show how coloured Petri nets can be used to select the crossing rules guaranteeing that two ships avoid collisions at sea in accordance with the international regulations on this matter. This paper is exclusively focused on the solution to this small sub-problem within the overall “Collision Avoidance System” that the authors of the present study are currently developing. For easier understanding, the overall system is also briefly presented. How the Petri net in the <i>CPN Tools</i> software is fed with “Real Time Real World” data is presented. These data are generated outside the Petri net from the function block to predict a possible collision and from the current meteorological data. We also demonstrate how the rule selections made by the Petri net are transferred from the <i>CPN Tools</i> software into the “Real Time Real World”. This transferred information is used outside the Petri net in the function block to calculate avoidance routes. The definition of the colour sets that are used and the individual operations applied to these colour sets in the coloured Petri net are presented.https://www.mdpi.com/2077-1312/11/7/1322collision preventingcoloured Petri netsautomatic nautical rule decision |
| spellingShingle | Vladimir Brozovic Danko Kezic Rino Bosnjak Srecko Krile Implementation of International Regulations for Preventing Collisions at Sea Using Coloured Petri Nets Journal of Marine Science and Engineering collision preventing coloured Petri nets automatic nautical rule decision |
| title | Implementation of International Regulations for Preventing Collisions at Sea Using Coloured Petri Nets |
| title_full | Implementation of International Regulations for Preventing Collisions at Sea Using Coloured Petri Nets |
| title_fullStr | Implementation of International Regulations for Preventing Collisions at Sea Using Coloured Petri Nets |
| title_full_unstemmed | Implementation of International Regulations for Preventing Collisions at Sea Using Coloured Petri Nets |
| title_short | Implementation of International Regulations for Preventing Collisions at Sea Using Coloured Petri Nets |
| title_sort | implementation of international regulations for preventing collisions at sea using coloured petri nets |
| topic | collision preventing coloured Petri nets automatic nautical rule decision |
| url | https://www.mdpi.com/2077-1312/11/7/1322 |
| work_keys_str_mv | AT vladimirbrozovic implementationofinternationalregulationsforpreventingcollisionsatseausingcolouredpetrinets AT dankokezic implementationofinternationalregulationsforpreventingcollisionsatseausingcolouredpetrinets AT rinobosnjak implementationofinternationalregulationsforpreventingcollisionsatseausingcolouredpetrinets AT sreckokrile implementationofinternationalregulationsforpreventingcollisionsatseausingcolouredpetrinets |