{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T11:42:05Z","timestamp":1730202125806,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/case.2011.6042509","type":"proceedings-article","created":{"date-parts":[[2011,10,13]],"date-time":"2011-10-13T20:57:26Z","timestamp":1318539446000},"page":"45-51","source":"Crossref","is-referenced-by-count":0,"title":["A software platform for the integration of discrete event systems tools"],"prefix":"10.1109","author":[{"given":"M.P.","family":"Cabasino","sequence":"first","affiliation":[]},{"given":"L.","family":"Contini","sequence":"additional","affiliation":[]},{"given":"A.","family":"Giua","sequence":"additional","affiliation":[]},{"given":"C.","family":"Seatzu","sequence":"additional","affiliation":[]},{"given":"A.","family":"Solinas","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"HYCON Network of Excellence","year":"2005","key":"ref10"},{"journal-title":"MULTIFORM consortium","article-title":"Integrated multi-formalism tool support for the design of networked embedded control systems MUL-TIFORM","year":"2008","key":"ref11"},{"journal-title":"Software Platform","year":"0","key":"ref12"},{"journal-title":"PNML_DISC format","year":"0","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"ref15","first-page":"1531","article-title":"Fault detection for discrete event systems using Petri nets with unobservable transitions","volume":"46","author":"cabasino","year":"2010","journal-title":"Auto-matica"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399874"},{"journal-title":"The TINA","year":"0","key":"ref4"},{"journal-title":"HYPENS","year":"0","key":"ref3"},{"journal-title":"Petri net toolbox","year":"0","key":"ref6"},{"journal-title":"DESUMA","year":"0","key":"ref5"},{"key":"ref8","article-title":"Petri net toolbox for MATLAB","author":"matcovschi","year":"2003","journal-title":"MED'03-The 11th Mediterranean Conference on Control and Automation"},{"journal-title":"PN_DIAG tool","year":"0","key":"ref7"},{"journal-title":"PIPE2 website","year":"0","key":"ref2"},{"journal-title":"DISC website","year":"0","key":"ref1"},{"key":"ref9","first-page":"24","article-title":"SimHPN: a MATLAB toolbox for continuous Petri nets","author":"julvez","year":"2010","journal-title":"Proceedings of the Workshop on Discrete Event Systems"}],"event":{"name":"2011 IEEE International Conference on Automation Science and Engineering (CASE 2011)","start":{"date-parts":[[2011,8,24]]},"location":"Trieste, Italy","end":{"date-parts":[[2011,8,27]]}},"container-title":["2011 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6033676\/6042395\/06042509.pdf?arnumber=6042509","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T02:28:09Z","timestamp":1490063289000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6042509\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/case.2011.6042509","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}