{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T10:27:48Z","timestamp":1761647268247,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csd.2003.1207699","type":"proceedings-article","created":{"date-parts":[[2004,3,22]],"date-time":"2004-03-22T09:34:28Z","timestamp":1079948068000},"page":"51-60","source":"Crossref","is-referenced-by-count":11,"title":["Detecting state coding conflicts in STG unfoldings using SAT"],"prefix":"10.1109","author":[{"given":"V.","family":"Khomenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Koutny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Yakovlev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"247","DOI":"10.3233\/FI-1999-37304","article-title":"Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets","author":"heljanko","year":"1999","journal-title":"Fundamentae Informaticae 37"},{"article-title":"Model Checking Based on Prefixes of Petri Net Unfoldings","year":"2003","author":"khomenko","key":"ref11"},{"key":"ref12","first-page":"582","article-title":"Canonical Prefixes of Petri Net Unfoldings","author":"khomenko","year":"2002","journal-title":"Proc of CAV'2002 LNCS 2404"},{"key":"ref13","article-title":"Detecting State Coding Conflicts in STGs Using Integer Programming","author":"khomenko","year":"2001","journal-title":"Tech Report CS-TR"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998295"},{"key":"ref15","article-title":"Detecting State Coding Conflicts in STG Unfoldings Using SAT","author":"khomenko","year":"2002","journal-title":"Tech Report CS-TR"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.1998.657548"},{"key":"ref17","article-title":"Token Ring Arbiters: an Exercise in Asynchronous Logic Design with Petri Nets","author":"low","year":"1995","journal-title":"Technical Report CS-TR-537"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253724"},{"key":"ref19","first-page":"164","article-title":"Using Unfoldings to Avoid State Explosion Problem in the Verification of Asynchronous Circuits","author":"mcmillan","year":"1992","journal-title":"Proc of CAV'1992 LNCS 663"},{"key":"ref28","first-page":"582","article-title":"The Quest for Efficient Boolean Satisfiability Solvers","author":"zhang","year":"2002","journal-title":"Proc of CAV'2002 LNCS 2404"},{"key":"ref4","first-page":"315","article-title":"PETRIFY: a Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers","author":"cortadella","year":"1997","journal-title":"IEICE Trans on Information Systems E86-D"},{"key":"ref27","first-page":"39","article-title":"Designing Control Logic for Counterflow Pipeline Processor Using Petri nets","volume":"12","author":"yakovlev","year":"1998","journal-title":"FMSD"},{"key":"ref3","article-title":"Synthesis of Self-Timed VLSI Circuits from Graph-Theoretic Specifications","author":"chu","year":"1987","journal-title":"MITILCS\/TR-393"},{"key":"ref6","first-page":"36","article-title":"Complete State Encoding Based on Theory of Regions","author":"cortadella","year":"1996","journal-title":"Proc of ASYNC'1996"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-55989-1","article-title":"Logic Synthesis of Asynchronous Controllers and Interfaces","author":"cortadella","year":"2002"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1007\/3-540-65306-6_20","article-title":"Decidability and Complexity of Petri Net Problems — an Introduction","author":"esparza","year":"1998","journal-title":"Lectures on Petri Nets I Basic Models"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01463946"},{"key":"ref2","article-title":"Design and Evaluation of Two Asynchronous Token Ring Adapters","author":"carrion","year":"1996","journal-title":"Tech Report CS-TR"},{"key":"ref9","first-page":"145","article-title":"A Power-Efficient Duplex Communication System","author":"furber","year":"2000","journal-title":"Proc of AINT'2000 TU Delft"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2001.981773"},{"key":"ref20","article-title":"Symbolic Model Checking: an approach to the state explosion problem","author":"mcmillan","year":"1992","journal-title":"CMU-CS-92-131"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/12.926158"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"ref24","first-page":"254","article-title":"Partial Order Approach to Synthesis of Speed-Independent Circuits","author":"semenov","year":"1997","journal-title":"Proc of ASYNC 1997"},{"article-title":"Verification and Synthesis of Asynchronous Control Circuits Using Petri Net Unfolding","year":"1997","author":"semenov","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/BF00122081"},{"key":"ref25","first-page":"184","article-title":"Optimized Synthesis of Asynchronous Control Circuits form Graph-Theoretic Specifications","author":"vanbekbergen","year":"1990","journal-title":"Proc ICC 1990"}],"event":{"name":"International Conference on Application of Concurrency to System Design (ACSD'2003)","acronym":"CSD-03","location":"Guimaraes, Portugal"},"container-title":["Third International Conference on Application of Concurrency to System Design, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8583\/27182\/01207699.pdf?arnumber=1207699","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T14:55:44Z","timestamp":1585666544000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1207699\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/csd.2003.1207699","relation":{},"subject":[]}}