{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:42:22Z","timestamp":1740134542665,"version":"3.37.3"},"reference-count":12,"publisher":"Wiley","license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Mathematics"],"published-print":{"date-parts":[[2014]]},"abstract":"<jats:p>Embedded devices are everywhere now and, unlike personal computers, their systems differ in implementation languages and behaviors. Interactions of different devices require programmers to master programming paradigms in all related languages. So, a defect may occur if differences in systems' behaviors are ignored. In this paper, a heterogeneous system which is composed of two subsystems is introduced and we point out a potential defect in this system caused by an interface mismatch. Then, a state based approach is applied to verify our analysis of the system.<\/jats:p>","DOI":"10.1155\/2014\/943094","type":"journal-article","created":{"date-parts":[[2014,3,31]],"date-time":"2014-03-31T17:20:52Z","timestamp":1396286452000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["Modeling a Heterogeneous Embedded System in Coloured Petri Nets"],"prefix":"10.1155","volume":"2014","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2400-5941","authenticated-orcid":true,"given":"Huafeng","family":"Zhang","sequence":"first","affiliation":[{"name":"School of Computer Science, TNList, Tsinghua University, Beijing 100084, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hehua","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Software, TNList, Tsinghua University, Beijing 100084, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming","family":"Gu","sequence":"additional","affiliation":[{"name":"School of Software, TNList, Tsinghua University, Beijing 100084, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiaguang","family":"Sun","sequence":"additional","affiliation":[{"name":"School of Software, TNList, Tsinghua University, Beijing 100084, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","reference":[{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"issue":"5","key":"4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/780822.781133","volume":"38","year":"2003","journal-title":"ACM Sigplan Notices"},{"year":"1996","key":"9"},{"first-page":"298","volume-title":"Model-based development of embedded systems","year":"2002","key":"15"},{"issue":"2","key":"17","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","year":"2006","journal-title":"Computer"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/5.558710"},{"volume":"11","year":"1995","key":"12"},{"issue":"11","key":"8","doi-asserted-by":"crossref","first-page":"5325","DOI":"10.1109\/TIE.2012.2225393","volume":"60","year":"2013","journal-title":"IEEE Transactions on Industrial Electronics"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0046842"},{"first-page":"84","volume-title":"Introduction to stochastic petri nets","year":"2001","key":"1"},{"first-page":"139","volume-title":"Timed petri nets","year":"2013","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52494-0_23"}],"container-title":["Journal of Applied Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/downloads.hindawi.com\/journals\/jam\/2014\/943094.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/jam\/2014\/943094.xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/downloads.hindawi.com\/journals\/jam\/2014\/943094.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T06:41:56Z","timestamp":1498113716000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.hindawi.com\/journals\/jam\/2014\/943094\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"references-count":12,"alternative-id":["943094","943094"],"URL":"https:\/\/doi.org\/10.1155\/2014\/943094","relation":{},"ISSN":["1110-757X","1687-0042"],"issn-type":[{"type":"print","value":"1110-757X"},{"type":"electronic","value":"1687-0042"}],"subject":[],"published":{"date-parts":[[2014]]}}}