{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:46:55Z","timestamp":1743011215796,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676935"},{"type":"electronic","value":"9783540449881"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44988-4_1","type":"book-chapter","created":{"date-parts":[[2007,8,1]],"date-time":"2007-08-01T01:38:07Z","timestamp":1185932287000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Hardware and Petri Nets Application to Asynchronous Circuit Design"],"prefix":"10.1007","author":[{"given":"Jordi","family":"Cortadella","sequence":"first","affiliation":[]},{"given":"Michael","family":"Kishinevsky","sequence":"additional","affiliation":[]},{"given":"Alex","family":"Kondratyev","sequence":"additional","affiliation":[]},{"given":"Luciano","family":"Lavagno","sequence":"additional","affiliation":[]},{"given":"Alex","family":"Yakovlev","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,6,9]]},"reference":[{"key":"1_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","volume-title":"Lectures on Petri Nets I: Basic Models","author":"E. Badouel","year":"1998","unstructured":"E. Badouel and Ph. Darondeau. Theory of regions. In G. Rozenberg, editors. Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science [36], pages 529\u2013586. Springer-Verlag, 1998."},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"P. Beerel and T.H.-Y. Meng. Automatic gate-level synthesis of speed-independent circuits. In Proc. International Conf. Computer-Aided Design (ICCAD), pages 581\u2013587. IEEE Computer Society Press, November 1992.","DOI":"10.1109\/ICCAD.1992.279309"},{"issue":"3","key":"1_CR3","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R. Bryant","year":"1992","unstructured":"R. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293\u2013318, September 1992.","journal-title":"ACM Computing Surveys"},{"key":"1_CR4","unstructured":"S. M. Burns. General condition for the decomposition of state holding elements. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems. IEEE Computer Society Press, March 1996."},{"key":"1_CR5","unstructured":"T.-A. Chu and L. A. Glasser. Synthesis of self-timed control circuits form graphs: An example. In Proc. International Conf. Computer Design (ICCD), pages 565\u2013571. IEEE Computer Society Press, 1986."},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"J. Cortadella. Combining structural and symbolic methods for the verification of concurrent systems. In Proc. of the International Conference on Application of Concurrency to System Design, pages 2\u20137, March 1998.","DOI":"10.1109\/CSD.1998.657533"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, and Alexandre Yakovlev. Decomposition and technology mapping of speed-independent circuits using Boolean relations. IEEE Transactions on Computer-Aided Design, 18(9), September 1999.","DOI":"10.1109\/43.784116"},{"key":"1_CR8","unstructured":"Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, and Alexandre Yakovlev. Automatic handshake expansion and reshuffling using concurrency reduction. In Proc. of the Workshop Hardware Design and Petri Nets (within the International Conference on Application and Theory of Petri Nets), pages 86\u2013110, June 1998."},{"issue":"8","key":"1_CR9","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1109\/12.707587","volume":"47","author":"J. Cortadella","year":"1998","unstructured":"Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, and Alexandre Yakovlev. Deriving Petri nets from finite transition systems. IEEE Transactions on Computers, 47(8):859\u2013882, August 1998.","journal-title":"IEEE Transactions on Computers"},{"key":"1_CR10","volume-title":"The Encyclopedia of Computer Science and Technology","author":"A. Davis","year":"1998","unstructured":"Al Davis and Steven M. Nowick. An introduction to asynchronous circuit design. In A. Kent and J. G. Williams, editors, The Encyclopedia of Computer Science and Technology, volume 38. Marcel Dekker, New York, February 1998."},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"J. Desel and J. Esparza. Free-choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1995.","DOI":"10.1017\/CBO9780511526558"},{"issue":"4","key":"1_CR12","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s002360050046","volume":"33","author":"J. Desel","year":"1996","unstructured":"J. Desel and W. Reisig. The synthesis problem of Petri nets. Acta Informatica, 33(4):297\u2013315, 1996.","journal-title":"Acta Informatica"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"David L. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. ACM Distinguished Dissertations. MIT Press, 1989.","DOI":"10.7551\/mitpress\/6874.001.0001"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A. Ehrenfeucht","year":"1990","unstructured":"A. Ehrenfeucht and G. Rozenberg. Partial (Set) 2-Structures. Part I, II. Acta Informatica, 27:315\u2013368, 1990.","journal-title":"Acta Informatica"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"P. Godefroid. Using partial orders to improve automatic verification methods. In E.M Clarke and R.P. Kurshan, editors, Proc. International Workshop on Computer Aided Verification, 1990. DIMACS Series in Discrete Mathematica and Theoretical Computer Science, 1991, pages 321\u2013340.","DOI":"10.1090\/dimacs\/003\/21"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"issue":"11","key":"1_CR17","doi-asserted-by":"publisher","first-page":"1306","DOI":"10.1109\/12.475126","volume":"44","author":"H. Hulgaard","year":"1995","unstructured":"H. Hulgaard, S. M. Burns, T. Amon, and G. Borriello. An algorithm for exact bounds on the time separation of events in concurrent systems. IEEE Transactions on Computers, 44(11):1306\u20131317, November 1995.","journal-title":"IEEE Transactions on Computers"},{"key":"1_CR18","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."},{"issue":"1","key":"1_CR19","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1008669013857","volume":"12","author":"A. Kondratyev","year":"1998","unstructured":"Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, and Sergei Ten. Analysis of Petri nets by ordering relations in reduced unfoldings. Formal Methods in System Design, 12(1):5\u201338, January 1998.","journal-title":"Formal Methods in System Design"},{"issue":"9","key":"1_CR20","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1109\/43.720313","volume":"17","author":"A. Kondratyev","year":"1998","unstructured":"Alex Kondratyev, Michael Kishinevsky, and Alex Yakovlev. Hazard-free implementation of speed-independent circuits. IEEE Transactions on Computer-Aided Design, 17(9):749\u2013771, September 1998.","journal-title":"IEEE Transactions on Computer-Aided Design"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"A. Kovalyov. A Polynomial Algorithm to Compute the Concurrency Relation of a Regular STG. In A. Yakovlev, L. Gomesa, and L. Lavagno, editors, Hardware Design and Petri Nets, pages 107\u2013126. Kluwer Academic Publishers, March 2000.","DOI":"10.1007\/978-1-4757-3143-9_6"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Luciano Lavagno and Alberto Sangiovanni-Vincentelli. Algorithms for Synthesis and Testing of Asynchronous Circuits. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4615-3212-5"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"K. L. McMillan. Trace theoretic verification of asynchronous circuits using unfoldings. In Proc. International Workshop on Computer Aided Verification, 1995.","DOI":"10.1007\/3-540-60045-0_50"},{"issue":"5","key":"1_CR25","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1002\/j.1538-7305.1955.tb03788.x","volume":"34","author":"G.H. Mealy","year":"1955","unstructured":"G.H. Mealy. A method for synthesizing sequential circuits. Bell System Technical J., 34(5):1045\u20131079, 1955.","journal-title":"Bell System Technical J"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"E.F. Moore. Gedanken experiments on sequential machines. Automata Studies, pages 129\u2013153, 1956.","DOI":"10.1515\/9781400882618-006"},{"key":"1_CR27","unstructured":"David E. Muller. Asynchronous logics and application to information processing. In Symposium on the Application of Switching Theory to Space Technology, pages 289\u2013297. Stanford University Press, 1962."},{"key":"1_CR28","unstructured":"David E. Muller and W. S. Bartky. A theory of asynchronous circuits. In Proceedings of an International Symposium on the Theory of Switching, pages 204\u2013243. Harvard University Press, April 1959."},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"T. Murata. Petri Nets: Properties, analysis and applications. Proceedings of the IEEE, pages 541\u2013580, April 1989.","DOI":"10.1109\/5.24143"},{"issue":"2","key":"1_CR30","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1109\/92.238425","volume":"1","author":"C. J. Myers","year":"1993","unstructured":"Chris J. Myers and Teresa H.-Y. Meng. Synthesis of timed asynchronous circuits. IEEE Transactions on VLSI Systems, 1(2):106\u2013119, June 1993.","journal-title":"IEEE Transactions on VLSI Systems"},{"key":"1_CR31","unstructured":"S. M. Nowick and B. Coates. Automated design of high-performance asynchronous state machines. In Proc. International Conf. Computer Design (ICCD). IEEE Computer Society Press, October 1994."},{"key":"1_CR32","series-title":"Lect Notes Comput Sci","volume-title":"Application and Theory of Petri Nets 1999","author":"E. Pastor","year":"1999","unstructured":"E. Pastor, J. Cortadella, and M.A. Pe\u00f1a. Structural methods to improve the symbolic analysis of Petri nets. In Application and Theory of Petri Nets 1999, Lecture Notes in Computer Science, June 1999."},{"issue":"11","key":"1_CR33","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.","journal-title":"IEEE Transactions on Computer-Aided Design"},{"key":"1_CR34","unstructured":"C. A. Petri. Kommunikation mit Automaten. PhD thesis, Bonn, Institut f\u00fcr Instrumentelle Mathematik, 1962. (technical report Schriften des IIM Nr. 3)."},{"key":"1_CR35","unstructured":"petrify: a tool for the synthesis of Petri nets and asynchronous controllers. http:\/\/www.lsi.upc.es\/~jordic\/petrify."},{"key":"1_CR36","series-title":"Lect Notes Comput Sci","volume-title":"Lectures on Petri Nets I: Basic Models","year":"1998","unstructured":"W. Reisig and G. Rozenberg, editors. Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science. Springer-Verlag, 1998."},{"key":"1_CR37","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1007\/3-540-60029-9_50","volume-title":"16th International Conference on the Application and Theory of Petri Nets","author":"O. Roig","year":"1995","unstructured":"Oriol Roig, Jordi Cortadella, and Enric Pastor. Verification of asynchronous circuits by BDD-based model checking of Petri nets. In 16th International Conference on the Application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science, pages 374\u2013391, 1995."},{"key":"1_CR38","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."},{"key":"1_CR39","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/3-540-53863-1_36","volume":"483","author":"A. Valmari","year":"1991","unstructured":"A. Valmari. Stubborn sets for reduced state space generation. In Lecture Notes in Computer Science, Advances in Petri Nets 1990, volume 483, pages 491\u2013515. Springer Verlag, 1991.","journal-title":"Lecture Notes in Computer Science, Advances in Petri Nets 1990"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 2000"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44988-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T01:33:08Z","timestamp":1737336788000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-44988-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676935","9783540449881"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/3-540-44988-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"9 June 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}