{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T11:44:32Z","timestamp":1730202272918,"version":"3.28.0"},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/cbms.2013.6627756","type":"proceedings-article","created":{"date-parts":[[2013,10,17]],"date-time":"2013-10-17T17:49:25Z","timestamp":1382032165000},"page":"4-10","source":"Crossref","is-referenced-by-count":10,"title":["Towards medical device behavioural validation using Petri nets"],"prefix":"10.1109","author":[{"given":"Paulo E. S.","family":"Barbosa","sequence":"first","affiliation":[]},{"given":"Misael","family":"Morais","sequence":"additional","affiliation":[]},{"given":"Katia","family":"Galdino","sequence":"additional","affiliation":[]},{"given":"Melquisedec","family":"Andrade","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]},{"given":"Filipe","family":"Moutinho","sequence":"additional","affiliation":[]},{"given":"Jorge C. A.","family":"de Figueiredo","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-4666-4034-4.ch006"},{"key":"2","first-page":"2196","article-title":"Checking semantics equivalence of mda transformations in concurrent systems","volume":"15","author":"barbosa","year":"2009","journal-title":"Journal of Universal Computer Science (J UCS)"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/HCMDSS-MDPnP.2007.36"},{"key":"7","first-page":"23","article-title":"The Input-output place-transition petri net class and associated tools","author":"gomes","year":"2007","journal-title":"Proceedings of the 5th IEEE International Conference on Industrial Informatics"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05324-9"},{"year":"0","key":"5"},{"key":"4","article-title":"Application of the Petri net to simulate and validate complex, multi-vendor, heterogeneous networks of wireless medical device systems","volume":"577","author":"gehlot","year":"2004","journal-title":"AMCIS"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1177\/193229681100500612"}],"event":{"name":"2013 IEEE 26th International Symposium on Computer-Based Medical Systems (CBMS)","start":{"date-parts":[[2013,6,20]]},"location":"Porto, Portugal","end":{"date-parts":[[2013,6,22]]}},"container-title":["Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6607262\/6627745\/06627756.pdf?arnumber=6627756","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T17:10:37Z","timestamp":1490202637000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6627756\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/cbms.2013.6627756","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}