{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:00:44Z","timestamp":1725796844092},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,19]],"date-time":"2023-06-19T00:00:00Z","timestamp":1687132800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,19]],"date-time":"2023-06-19T00:00:00Z","timestamp":1687132800000},"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":[[2023,6,19]]},"DOI":"10.1109\/isie51358.2023.10228055","type":"proceedings-article","created":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T17:30:24Z","timestamp":1693503024000},"page":"1-4","source":"Crossref","is-referenced-by-count":1,"title":["Analysing navigation paths in constrained graphs using Petri nets"],"prefix":"10.1109","author":[{"given":"Luis","family":"Gomes","sequence":"first","affiliation":[{"name":"NOVA University Lisbon,School of Science and Technology Center of Technology and Systems, UNINOVA,Caparica,Portugal"}]},{"given":"Jos\u00e9","family":"Ribeiro-Gomes","sequence":"additional","affiliation":[{"name":"Computer and Robot Vision Laboratory (VisLab) Instituto Superior Tecnico, IST,Lisbon,Portugal"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.2994"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/bf01386390"},{"volume-title":"Artificial Inteligence: A Modern Approach","year":"2003","author":"Russell","key":"ref3"},{"volume-title":"Path Planning and Collision Avoidance Algorithms for Small RPAS Aerospace Engineering Examination Committee","year":"2017","author":"Maria Medeiros Alves","key":"ref4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1137\/0109044"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/robot.1985.1087247"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/oceans-bergen.2013.6607961"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.14569\/ijarai.2013.020310"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.31577\/cai_2021_1_216"},{"volume-title":"Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications","year":"2001","author":"Girault","key":"ref10"},{"volume-title":"Petri Nets Tool Database","year":"2022","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10669-9"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/fpl.2013.6645633"},{"key":"ref14","first-page":"127","article-title":"IOPT-Tools \u2013 From executable models to automatic code generation for embedded controllers development","volume-title":"PETRI NETS 2022 - 43rd International Conference on Application and Theory of Petri Nets and Concurrency","author":"Pereira"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/indin.2007.4384809"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/iecon.2018.8592921"}],"event":{"name":"2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE)","start":{"date-parts":[[2023,6,19]]},"location":"Helsinki, Finland","end":{"date-parts":[[2023,6,21]]}},"container-title":["2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10227852\/10227910\/10228055.pdf?arnumber=10228055","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T21:41:33Z","timestamp":1709329293000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10228055\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,19]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/isie51358.2023.10228055","relation":{},"subject":[],"published":{"date-parts":[[2023,6,19]]}}}