{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:20:12Z","timestamp":1740100812717,"version":"3.37.3"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100006129","name":"FCT","doi-asserted-by":"publisher","award":["UIDB\/00066\/2020"],"award-info":[{"award-number":["UIDB\/00066\/2020"]}],"id":[{"id":"10.13039\/100006129","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,6,1]]},"DOI":"10.1109\/isie51582.2022.9831529","type":"proceedings-article","created":{"date-parts":[[2022,7,25]],"date-time":"2022-07-25T20:19:13Z","timestamp":1658780353000},"page":"239-244","source":"Crossref","is-referenced-by-count":2,"title":["Towards an Integrated Tool Support for the Analysis of IOPT Nets Using the Spin Model Checker"],"prefix":"10.1109","author":[{"given":"Joao-Paulo","family":"Barros","sequence":"first","affiliation":[{"name":"Polytechnic Institute of Beja, Beja Centre of Technology and Systems-UNINOVA,Caparica,Portugal"}]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[{"name":"NOVA University Lisbon Centre of Technology and Systems-UNINOVA,Caparica,Portugal"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.18293\/SEKE2017-162"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2009.5414909"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84628-770-1"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44919-1_31"},{"volume-title":"Petri Nets & Grafcet; Tools for Modelling Discrete Event Systems","year":"1992","author":"David","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10669-9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0509-6"},{"key":"ref8","first-page":"57","article-title":"Editing, Visualizing, and Implementing Signal Interpreted Petri Nets","volume-title":"Proceedings of the AWPN 2000, Koblenz","author":"Frey","year":"2000"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989839"},{"volume-title":"Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications","year":"2001","author":"Girault","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2007.4384809"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2013.6645633"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2018.8592921"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2000-41403"},{"volume-title":"Spin Model Checker, the: Primer and Reference Manual","year":"2003","author":"Holzmann","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03240-0_7"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICMC.2014.7232002"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034958"},{"volume-title":"Petri nets tool database","year":"2022","key":"ref19"},{"volume-title":"PNML.org","year":"2022","key":"ref20"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2007.4297344"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.26754\/uz.84-7288-045-1"},{"volume-title":"Verifying multi-threaded software with Spin","year":"2022","key":"ref24"}],"event":{"name":"2022 IEEE 31st International Symposium on Industrial Electronics (ISIE)","start":{"date-parts":[[2022,6,1]]},"location":"Anchorage, AK, USA","end":{"date-parts":[[2022,6,3]]}},"container-title":["2022 IEEE 31st International Symposium on Industrial Electronics (ISIE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9831187\/9831454\/09831529.pdf?arnumber=9831529","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T07:27:50Z","timestamp":1706772470000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9831529\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,1]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/isie51582.2022.9831529","relation":{},"subject":[],"published":{"date-parts":[[2022,6,1]]}}}