{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T17:58:38Z","timestamp":1757613518686,"version":"3.44.0"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T00:00:00Z","timestamp":1480550400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T00:00:00Z","timestamp":1480550400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/idt.2016.7843039","type":"proceedings-article","created":{"date-parts":[[2017,2,7]],"date-time":"2017-02-07T15:56:19Z","timestamp":1486482979000},"page":"193-198","source":"Crossref","is-referenced-by-count":0,"title":["SystemC TLM2-protocol consistency checker using Petri net"],"prefix":"10.1109","author":[{"given":"Imed E.","family":"Bennour","sequence":"first","affiliation":[{"name":"Department of Computer Sciences at National Engineering School of Sousse, Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Generating finite state machines from SystemC","author":"habibi","year":"2006","journal-title":"Proc Design Automation and Test Eur Conf Designers Forum"},{"journal-title":"Petri nets for System Engineering A Guide to Modeling Verification and Applications","year":"2002","author":"girault","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3143-9"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/b137175"},{"journal-title":"TLM 1 TLM 2","year":"2016","key":"ref14"},{"year":"2016","key":"ref15"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2220336.2220350"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DTIS.2012.6232987"},{"key":"ref6","article-title":"Towards Cosimulating SystemC and Coloured Petri Net Models for SoC Functional and Performance Evaluation","author":"westergaard","year":"2009","journal-title":"Proceedings 21st European Modeling and Simulation Symposium"},{"key":"ref5","article-title":"MTP: A Petri net-based framework for the analysis and transformation of SystemC designs","author":"nick","year":"2005","journal-title":"Proceedings of the Software and Compilers for Embedded Systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-8149-9_19"},{"key":"ref7","article-title":"Improving SystemC simulation through Petri net reductions","author":"nick","year":"2005","journal-title":"Formal Methods and Models for Co-Design MEM-OCODE"},{"key":"ref2","article-title":"Formal Deadlock Checking on High-Level SystemC Designs","author":"chou","year":"2010","journal-title":"CAD"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244076"},{"key":"ref9","article-title":"Proving transaction and system-level properties of untimed SystemC TLM designs","author":"groe","year":"2010","journal-title":"MEMOCODE"}],"event":{"name":"2016 11th International Design & Test Symposium (IDT)","start":{"date-parts":[[2016,12,18]]},"location":"Hammamet, Tunisia","end":{"date-parts":[[2016,12,20]]}},"container-title":["2016 11th International Design & Test Symposium (IDT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7833312\/7842992\/07843039.pdf?arnumber=7843039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T21:59:05Z","timestamp":1757023145000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7843039\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/idt.2016.7843039","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}