{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T05:03:39Z","timestamp":1737349419913,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001997"},{"type":"electronic","value":"9783540361909"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36190-1_4","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:24:21Z","timestamp":1184603061000},"page":"108-151","source":"Crossref","is-referenced-by-count":3,"title":["Synthesis of Reactive Systems: Application to Asynchronous Circuit Design"],"prefix":"10.1007","author":[{"given":"Josep","family":"Carmona","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jordi","family":"Cortadella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enric","family":"Pastor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,11,27]]},"reference":[{"key":"4_CR1","unstructured":"A. Arnold. Finite Transition Systems. Prentice Hall, 1994. 112"},{"key":"4_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BFb0016204","volume-title":"Advances in Petri Nets 1985","author":"G. Berthelot","year":"1986","unstructured":"G. Berthelot. Checking Properties of Nets Using Transformations. In G. Rozenberg, editor, Advances in Petri Nets 1985, volume 222 of Lecture Notes in Computer Science, pages 19\u201340. Springer-Verlag, 1986. 121"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Janusz A. Brzozowski and Carl-Johan H. Seger. Asynchronous Circuits. Springer-Verlag, 1995. 126","DOI":"10.1007\/978-1-4612-4210-9"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"J. Carmona and J. Cortadella. Input\/Output Compatibility of Reactive Systems. In Fourth International Conference on Formal Methods in Computer-Aided Design (FMCAD), Portland, Oregon, USA, November 2002. Springer-Verlag. 116","DOI":"10.1007\/3-540-36126-X_22"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"J. Carmona, J. Cortadella, and E. Pastor. A structural encoding technique for the synthesis of asynchronous circuits. In Int. Conf. on Application of Concurrency to System Design, June 2001. 141, 143","DOI":"10.1109\/CSD.2001.981773"},{"key":"4_CR6","unstructured":"Tam-Anh Chu. Synthesis of Self-Timed VLSI Circuits from Graph-Theoretic Specifications. PhD thesis, MIT Laboratory for Computer Science, June 1987. 115, 131, 135"},{"issue":"3","key":"4_CR7","first-page":"315","volume":"E80\u2013D","author":"J. Cortadella","year":"1997","unstructured":"J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, and A. Yakovlev. Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Transactions on Information and Systems, E80\u2013D(3):315\u2013325, March 1997. 132, 146","journal-title":"IEICE Transactions on Information and Systems"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, and A. Yakovlev. Logic synthesis of asynchronous controllers and interfaces. Springer-Verlag, 2002. to appear. 130, 132","DOI":"10.1007\/978-3-642-55989-1"},{"issue":"8","key":"4_CR9","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1109\/TC.1977.1674910","volume":"26","author":"R. David","year":"1977","unstructured":"Ren\u00e9 David. Modular design of asynchronous circuits defined by graphs. IEEE Transactions on Computers, 26(8):727\u2013737, August 1977. 141","journal-title":"IEEE Transactions on Computers"},{"key":"4_CR10","unstructured":"M. Hack. Analysis of production schemata by Petri nets. M.s. thesis, MIT, February 1972. 115"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"D. Harel and A. Pnueli. On the development of reactive systems. In Krzystof R. Apt, editor, Logic and Model of Concurrent Systems, volume 13 of NATO ASI, pages 477\u2013498. Springer-Verlag, October 1984. 112","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"4_CR12","unstructured":"Michael Kishinevsky, Alex Kondratyev, Alexander Taubin, and Victor Varshavsky. Concurrent Hardware: The Theory and Practice of Self-Timed Design. Series in Parallel Computing. John Wiley & Sons, 1994. 141"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Alex Kondratyev and Alexander Taubin. Verification of speed-independent circuits by stg unfoldings. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems, pages 64\u201375, November 1994. 134","DOI":"10.1109\/ASYNC.1994.656287"},{"key":"4_CR14","unstructured":"A. Kovalyov and J. Esparza. A polynomial algorithm to compute the concurrency relation of free-choice signal transition graphs. In Proceedings of the International Workshop on Discrete Event Systems, WODES\u201996, pages 1\u20136, August 1996. 115"},{"key":"4_CR15","unstructured":"A. V. Kovalyov. On complete reducibility of some classes of Petri nets. In Proceedings of the 11th International Conference on Applications and Theory of Petri Nets, pages 352\u2013366, Paris, June 1990. 122"},{"key":"4_CR16","first-page":"219","volume-title":"CWI-Quarterly","author":"N. A. Lynch","year":"1989","unstructured":"Nancy A. Lynch and Mark R. Tuttle. An introduction to input\/output automata. In CWI-Quarterly, volume 2, pages 219\u2013246, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands, September 1989. 108"},{"key":"4_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus for Communicating Processes","author":"R. Milner","year":"1980","unstructured":"R. Milner. A Calculus for Communicating Processes, volume 92 of Lecture Notes in Computer Science. Springer Verlag, 1980. 111, 116, 151"},{"issue":"4","key":"4_CR18","first-page":"541","volume":"77","author":"T. Murata","year":"1989","unstructured":"Tadao Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541\u2013574, April 1989. 109, 114, 122","journal-title":"Petri nets: Properties, analysis and applications"},{"key":"4_CR19","unstructured":"Enric Pastor. Structural Methods for the Synthesis of Asynchronous Circuits from Signal Transition Graphs. PhD thesis, Universitat Polit`ecnia de Catalunya, February 1996. 133"},{"issue":"11","key":"4_CR20","doi-asserted-by":"publisher","first-page":"1108","DOI":"10.1109\/43.736185","volume":"17","author":"E. Pastor","year":"1998","unstructured":"Enric Pastor, Jordi Cortadella, Alex Kondratyev, and Oriol Roig. Structural methods for the synthesis of speed-independent circuits. IEEE Transactions on Computer-Aided Design, 17(11):1108\u20131129, November 1998. 133, 136","journal-title":"IEEE Transactions on Computer-Aided Design"},{"key":"4_CR21","unstructured":"C. A. Petri. Kommunikation mit Automaten. PhD thesis, Bonn, Institut f\u00fcr Instrumentelle Mathematik, 1962. (technical report Schriften des IIM Nr. 3). 114"},{"key":"4_CR22","unstructured":"L. Y. Rosenblum and A. V. Yakovlev. Signal graphs: from self-timed to timed ones. In Proceedings of International Workshop on Timed Petri Nets, pages 199\u2013207, Torino, Italy, July 1985. IEEE Computer Society Press. 128"},{"key":"4_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/3-540-65306-6_19","volume-title":"Linear algebraic and linear programming techniques for the analysis of place\/transition net systems","author":"M. Silva","year":"1998","unstructured":"Manuel Silva, Enrique Teruel, and Jos\u00e9 Manuel Colom. Linear algebraic and linear programming techniques for the analysis of place\/transition net systems. Lecture Notes in Computer Science: Lectures on Petri Nets I: Basic Models, 1491:309\u2013373, 1998. 126"},{"volume-title":"Self-Timed Control of Concurrent Processes: The Design of Aperiodic Logical Circuits in Computers and Discrete Systems","year":"1990","key":"4_CR24","unstructured":"Victor I. Varshavsky, editor. Self-Timed Control of Concurrent Processes: The Design of Aperiodic Logical Circuits in Computers and Discrete Systems. Kluwer Academic Publishers, Dordrecht, The Netherlands, 1990. 141"}],"container-title":["Lecture Notes in Computer Science","Concurrency and Hardware Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36190-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T11:57:48Z","timestamp":1737287868000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36190-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001997","9783540361909"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-36190-1_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}