{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T08:12:41Z","timestamp":1769587961384,"version":"3.49.0"},"reference-count":8,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"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":[[2012,9]]},"DOI":"10.1109\/etfa.2012.6489599","type":"proceedings-article","created":{"date-parts":[[2013,4,5]],"date-time":"2013-04-05T16:57:59Z","timestamp":1365181079000},"page":"1-8","source":"Crossref","is-referenced-by-count":16,"title":["Modular Petri net modeling of the Spanish health system"],"prefix":"10.1109","author":[{"given":"Cristian","family":"Mahulea","sequence":"first","affiliation":[{"name":"Arag&#x00F3;n Institute of Engineering Research (I3A), University of Zaragoza, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan-Manuel","family":"Garc\u00eda-Soriano","sequence":"additional","affiliation":[{"name":"Servicio Aragon&#x00E9;s de la Salud, Zaragoza, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9-Manuel","family":"Colom","sequence":"additional","affiliation":[{"name":"Arag&#x00F3;n Institute of Engineering Research (13A), University of Zaragoza, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","article-title":"A continuous petri net model for the management and design of emergency cardiology departments","author":"dotoli","year":"2009","journal-title":"ADHS09 Proc of the 3rd Analysis and Design of Hybrid Systems Zaragoza Spain"},{"key":"2","first-page":"23","article-title":"The resource allocation problem in flexible manufacturing systems","author":"colom","year":"2003","journal-title":"Applications and Theory of Petri Nets Volume 2679 of Lecture Notes in Computer Science"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/190.191"},{"key":"7","author":"tricas","year":"2003","journal-title":"Analysis Prevention and Avoidance OfDeadlocks in Sequential Resource Allocation Systems"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1080\/07408170802165831"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2006.02.057"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570131"}],"event":{"name":"2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012)","location":"Krakow, Poland","start":{"date-parts":[[2012,9,17]]},"end":{"date-parts":[[2012,9,21]]}},"container-title":["Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies &amp; Factory Automation (ETFA 2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6479732\/6489522\/06489599.pdf?arnumber=6489599","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,25]],"date-time":"2025-08-25T20:18:24Z","timestamp":1756153104000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6489599\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/etfa.2012.6489599","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}