{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:42:34Z","timestamp":1730209354874,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"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":[[2019,4]]},"DOI":"10.1109\/codit.2019.8820456","type":"proceedings-article","created":{"date-parts":[[2019,9,3]],"date-time":"2019-09-03T01:09:32Z","timestamp":1567472972000},"page":"314-319","source":"Crossref","is-referenced-by-count":0,"title":["Clinical Decision Support Using Colored Petri Nets: a Case Study on Cancer Infusion Therapy"],"prefix":"10.1109","author":[{"given":"Francesca","family":"Cairoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianfranco","family":"Fenu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felice Andrea","family":"Pellegrino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Safety assurance of medical cyber-physical systems using hybrid automata: A case study on analgesic infusion pump","author":"bagade","year":"0","journal-title":"Medical Cyber-physical Systems Workshop"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2014.7048879"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CFIS.2015.7391705"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10916-016-0664-5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0933-3657(00)00050-6"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2004.833331"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2034837"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2217319"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2239640"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.jbi.2013.06.009"},{"key":"ref4","first-page":"974","article-title":"Fuzzy petri net representation and reasoning methods for rule-based decision making systems","volume":"76","author":"chun","year":"1993","journal-title":"IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/IRI.2018.00080"},{"key":"ref3","volume":"8","author":"moody","year":"2012","journal-title":"Supervisory Control of Discrete Event Systems Using Petri Nets"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2011.01.007"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IEMBS.2009.5333786"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10916-010-9547-3"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-7046-6_65"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1108\/09526869410074702"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"181","DOI":"10.4103\/2228-7477.137769","article-title":"Specification and verification of medical monitoring system using petri-nets","volume":"4","author":"majma","year":"2014","journal-title":"Journal of medical signals and sensors"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2226594"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.artmed.2005.10.006"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0038-x"},{"journal-title":"Introduction to Discrete Event Systems","year":"2009","author":"cassandras","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2319.001.0001"},{"journal-title":"Design\/CPN A Reference Manual","year":"1991","author":"jensen","key":"ref23"},{"key":"ref26","first-page":"131","article-title":"Transformation of coloured petri nets to uml 2 diagrams","volume":"2","author":"yassin","year":"2014","journal-title":"New Perspectives in Information Systems and Technologies"},{"journal-title":"Comms\/CPN A Communication Infrastructure for External Communication with DESIGN\/CPN","year":"2001","author":"gallasch","key":"ref25"}],"event":{"name":"2019 6th International Conference on Control, Decision and Information Technologies (CoDIT)","start":{"date-parts":[[2019,4,23]]},"location":"Paris, France","end":{"date-parts":[[2019,4,26]]}},"container-title":["2019 6th International Conference on Control, Decision and Information Technologies (CoDIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8806019\/8820291\/08820456.pdf?arnumber=8820456","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T20:18:05Z","timestamp":1658261885000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8820456\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/codit.2019.8820456","relation":{},"subject":[],"published":{"date-parts":[[2019,4]]}}}