{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:14:35Z","timestamp":1729664075204,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1109\/isie.2005.1529145","type":"proceedings-article","created":{"date-parts":[[2005,11,15]],"date-time":"2005-11-15T10:48:27Z","timestamp":1132051707000},"page":"1447-1452","source":"Crossref","is-referenced-by-count":2,"title":["From Use Cases to Building Monitoring Systems through Petri Nets"],"prefix":"10.1109","author":[{"given":"L.","family":"Gomes","sequence":"first","affiliation":[]},{"given":"A.","family":"Costa","sequence":"additional","affiliation":[]},{"given":"P.","family":"Meira","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","article-title":"From non-autonomous Petri net models to code in embedded systems design","author":"gomes","year":"2004","journal-title":"Proceedings of the International Workshop on Discrete-Event System Design - DESDes'04"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE.2004.1571882"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2004.1417350"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2003.1248731"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2003.1207712"},{"journal-title":"Petri Nets for Systems Engineering - A Guide to Modeling Verification and Applications","year":"2003","author":"girault","key":"3"},{"journal-title":"The Rational Unified Process An Introduction","year":"2000","author":"kruchten","key":"2"},{"key":"1","article-title":"The unified modeling language user guide","author":"booch","year":"1999","journal-title":"Object Technology Series"},{"key":"10","doi-asserted-by":"crossref","DOI":"10.1093\/comjnl\/43.3.224","article-title":"Modular analysis of Petri nets","volume":"43","author":"christensen","year":"2000","journal-title":"The Computer Journal"},{"key":"7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-45541-8_1","article-title":"What is a Petri net? Informal answers for the informed reader","volume":"2128","author":"desel","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"4","article-title":"Real-time UML - Developing efficient objects for embedded systems","author":"douglass","year":"1998","journal-title":"Object Technology Series"},{"key":"9","article-title":"A survey of basic net models and modular net classes","author":"bernardinello","year":"0","journal-title":"Lecture Notes in Computer Science"},{"key":"8","first-page":"192","article-title":"Hierarchies in coloured petri Nets","author":"huber","year":"1989","journal-title":"Proc 24th Int Conf Applications and Theory of Petri Nets"}],"event":{"name":"Proceedings of the IEEE International Symposium on Industrial Electronics","start":{"date-parts":[[2005,6,20]]},"location":"Dubrovnik, Croatia","end":{"date-parts":[[2005,6,23]]}},"container-title":["Proceedings of the IEEE International Symposium on Industrial Electronics, 2005. ISIE 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10236\/32655\/01529145.pdf?arnumber=1529145","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T20:55:28Z","timestamp":1497646528000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1529145\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/isie.2005.1529145","relation":{},"subject":[],"published":{"date-parts":[[2005]]}}}