{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T10:47:08Z","timestamp":1761130028259,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,6,7]],"date-time":"2022-06-07T00:00:00Z","timestamp":1654560000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,6,7]],"date-time":"2022-06-07T00:00:00Z","timestamp":1654560000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,6,7]]},"DOI":"10.1109\/sose55472.2022.9812654","type":"proceedings-article","created":{"date-parts":[[2022,7,6]],"date-time":"2022-07-06T19:40:48Z","timestamp":1657136448000},"page":"479-485","source":"Crossref","is-referenced-by-count":3,"title":["High Level Petri Net Model for Control Problem of Autonomous Navigation in Container Terminal"],"prefix":"10.1109","author":[{"given":"Hela","family":"Kadri","sequence":"first","affiliation":[{"name":"Lille University CRIStAL,CNRS-UMR 9189,Villeneuve d&#x2019;Ascq,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Othman","family":"Lakhal","sequence":"additional","affiliation":[{"name":"Lille University CRIStAL,CNRS-UMR 9189,Villeneuve d&#x2019;Ascq,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdelkader","family":"Belarouci","sequence":"additional","affiliation":[{"name":"Lille University CRIStAL,CNRS-UMR 9189,Villeneuve d&#x2019;Ascq,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Blaise","family":"Conrard","sequence":"additional","affiliation":[{"name":"Lille University CRIStAL,CNRS-UMR 9189,Villeneuve d&#x2019;Ascq,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rochdi","family":"Merzouki","sequence":"additional","affiliation":[{"name":"Lille University CRIStAL,CNRS-UMR 9189,Villeneuve d&#x2019;Ascq,France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Systems Engineering Handbook A guide for System Life Cycle Processes and Activities","year":"2015","author":"walden","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D"},{"year":"2015","key":"ref12","article-title":"Systems and software engineering&#x2014;system life cycle processes"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.matcom.2005.11.008"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2009.2028135"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CASE.2011.6042502"},{"key":"ref17","first-page":"1","article-title":"Safe switching of discrete events systems: Application to operating mode management","author":"el ghadouali","year":"2013","journal-title":"Proceedings of 2013 International Conference on Industrial Engineering and Systems Management (IESM) IESM"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2017.05.134"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.5220\/0007730903770384"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2008.4724203"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SYSoSE.2012.6384176"},{"key":"ref6","article-title":"A systems engineering methodology for analyzing systems of systems using the systems modeling language (sysml)","author":"huynh","year":"2006","journal-title":"Department of Systems Engineering Naval Postgraduate School Monterey"},{"key":"ref5","first-page":"21","article-title":"Systemes de syst&#x00E8;mes: du concept &#x00E0; la r&#x00E9;alisation effective","author":"luzeaux","year":"2008","journal-title":"Syst&#x00E8;mes de syst&#x00E8;mes concepts et illustrations pratiques"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0167-188X(91)90016-U"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2010.12.010"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1201\/9781315218649"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1201\/9781420065893"},{"article-title":"Architecting principles for systems-of-systems. incose international symposium 6, 1 (1996), 565&#x2013;573","year":"1996","author":"maier","key":"ref9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60794-3"},{"key":"ref22","first-page":"2p","article-title":"From a solution model to a b model for verification of safety properties","volume":"19","author":"bon","year":"2013","journal-title":"Journal of Universal Computer Science"},{"key":"ref21","first-page":"450","article-title":"Cpn tools for editing, simulating, and analysing coloured petri nets","author":"ratzer","year":"2003","journal-title":"International Conference on Application and Theory of Petri Nets"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s12544-017-0228-x"},{"key":"ref23","first-page":"1654","article-title":"A joint development of coloured petri nets and the b method in critical systems","volume":"21","author":"sun","year":"2015","journal-title":"Journal of Universal Computer Science"}],"event":{"name":"2022 17th Annual System of Systems Engineering Conference (SOSE)","start":{"date-parts":[[2022,6,7]]},"location":"Rochester, NY, USA","end":{"date-parts":[[2022,6,11]]}},"container-title":["2022 17th Annual System of Systems Engineering Conference (SOSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9812583\/9812630\/09812654.pdf?arnumber=9812654","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,5]],"date-time":"2022-08-05T00:39:24Z","timestamp":1659659964000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9812654\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,7]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/sose55472.2022.9812654","relation":{},"subject":[],"published":{"date-parts":[[2022,6,7]]}}}