{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:59:35Z","timestamp":1729630775783,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1109\/sies.2007.4297343","type":"proceedings-article","created":{"date-parts":[[2007,9,6]],"date-time":"2007-09-06T16:58:04Z","timestamp":1189097884000},"page":"258-265","source":"Crossref","is-referenced-by-count":6,"title":["Protocol Modelling Semantics for Embedded Systems"],"prefix":"10.1109","author":[{"given":"Ashley","family":"McNeile","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ella","family":"Roubtsova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1145\/1086519.1086522"},{"key":"ref11","article-title":"Design of User-Driven Interfaces Using Petri Nets and Objects","volume":"685","author":"palanque","year":"1993","journal-title":"LNCS"},{"year":"1999","author":"milner","journal-title":"Communicationg and Mobile Systems - the Pi-Calculus","key":"ref12"},{"year":"1994","author":"cook","journal-title":"Designing Object Systems Object-Oriented Modelling with Syntropy","key":"ref13"},{"year":"0","key":"ref14"},{"year":"1985","author":"hoare","journal-title":"Communicating Sequential Processes","key":"ref4"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1145\/197320.197383"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60794-3","author":"jensen","year":"1997","journal-title":"Coloured Petri Nets"},{"key":"ref5","article-title":"Dynamic models and Behavioural Views","author":"ebert","year":"1994","journal-title":"LNCS 858"},{"key":"ref8","article-title":"Modeling Interactive Systems with Hierarchical Colored Petri Nets","author":"elkoutbi","year":"1998","journal-title":"Proc of the Conference on High Performance Computing Boston"},{"key":"ref7","first-page":"626","article-title":"Application of Coloured Petri Nets in System Development","author":"kristensen","year":"2003","journal-title":"ACPN 2003 LNCS 3098"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1007\/s10270-005-0100-7"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.5381\/jot.2003.2.6.a2"},{"year":"1983","author":"jackson","journal-title":"System Development","key":"ref9"}],"event":{"name":"2007 International Symposium on Industrial Embedded Systems","start":{"date-parts":[[2007,7,4]]},"location":"Costa da Caparica, Portugal","end":{"date-parts":[[2007,7,6]]}},"container-title":["2007 International Symposium on Industrial Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4297296\/4297297\/04297343.pdf?arnumber=4297343","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T18:39:30Z","timestamp":1497724770000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4297343\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/sies.2007.4297343","relation":{},"subject":[],"published":{"date-parts":[[2007,7]]}}}