{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:55:32Z","timestamp":1729662932686,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1109\/acsd.2008.4574605","type":"proceedings-article","created":{"date-parts":[[2010,12,8]],"date-time":"2010-12-08T14:27:32Z","timestamp":1291818452000},"page":"138-147","source":"Crossref","is-referenced-by-count":2,"title":["Modeling and verifying asynchronous communication mechanisms using coloured Petri nets"],"prefix":"10.1109","author":[{"given":"Kyller","family":"Gorgonio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Fei Xia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","first-page":"36","article-title":"buffered asynchronous communication mechanisms","author":"xia","year":"2004","journal-title":"Proceedings of the Fourth International Conference on Application of Concurrency to System Design (ACSD'04)"},{"key":"14","first-page":"11","article-title":"a fifo buffer with non-blocking interface","author":"yakovlev","year":"1998","journal-title":"TCVLSI Technical Bulletin"},{"key":"11","first-page":"450","article-title":"cpn tools for editing, simulating, and analysing coloured petri nets","author":"ratzer","year":"2003","journal-title":"ICATPN"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20030419"},{"key":"3","first-page":"75","article-title":"automating synthesis of asynchronous communication mechanisms","volume":"78","author":"gorgo?nio","year":"2007","journal-title":"Fundamenta Informaticae"},{"year":"0","key":"2"},{"journal-title":"THINK Vers une architecture de syste?mes flexibles","year":"2001","author":"fassino","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"7","article-title":"coloured petri nets: basic concepts, analysis methods and practical use","volume":"2","author":"jensen","year":"1997","journal-title":"EACTS - Monographs on Theoretical"},{"key":"6","article-title":"coloured petri nets: basic concepts, analysis methods and practical use","volume":"1","author":"jensen","year":"1992","journal-title":"EACTS - Monographs on Theoretical"},{"key":"5","first-page":"77","author":"harel","year":"2003","journal-title":"Message Sequence Charts"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2008.4574605"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/BF01786227"},{"key":"8","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","article-title":"coloured petri nets and cpn tools for modelling and validation of concurrent systems","volume":"9","author":"jensen","year":"2007","journal-title":"Int J Softw Tools Technol Transf"}],"event":{"name":"2008 8th International Conference on Application of Concurrency to System Design","start":{"date-parts":[[2008,6,23]]},"location":"Xian, China","end":{"date-parts":[[2008,6,27]]}},"container-title":["2008 8th International Conference on Application of Concurrency to System Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4562770\/4574586\/04574605.pdf?arnumber=4574605","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T16:59:23Z","timestamp":1497891563000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4574605\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/acsd.2008.4574605","relation":{},"subject":[],"published":{"date-parts":[[2008]]}}}