{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T04:46:26Z","timestamp":1726029986901},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319961538"},{"type":"electronic","value":"9783319961545"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-319-96154-5_27","type":"book-chapter","created":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T09:09:17Z","timestamp":1558688957000},"page":"227-232","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["From Nets to Circuits and from Circuits to Nets"],"prefix":"10.1007","author":[{"given":"Jordi","family":"Cortadella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,25]]},"reference":[{"issue":"l","key":"27_CR1","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/s00236-014-0209-7","volume":"52","author":"E Best","year":"2015","unstructured":"E. Best, R. Devillers, Synthesis and reengineering of persistent systems. Acta Inform. 52(l), 35\u201360 (2015)","journal-title":"Acta Inform."},{"issue":"11","key":"27_CR2","doi-asserted-by":"publisher","first-page":"1952","DOI":"10.1109\/JPROC.2015.2487798","volume":"103","author":"R Brayton","year":"2015","unstructured":"R. Brayton, L.P. Carloni, A.L. Sangiovanni-Vincentelli, T. Villa, Design automation of electronic systems: past accomplishments and challenges ahead. Proc. IEEE 103(11), 1952\u20131957 (2015).","journal-title":"Proc. IEEE"},{"key":"27_CR3","unstructured":"R. Claris\u00f3, J. Cortadella, Verification of timed circuits with symbolic delays, in Proc. of Asia and South Pacific Design Automation Conference, January (2004), pp. 628\u2013633"},{"issue":"3","key":"27_CR4","first-page":"315","volume":"E80-D","author":"J Cortadella","year":"1997","unstructured":"J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, A. Yakovlev, Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Trans. Inf. Syst. E80-D(3), 315\u2013325 (1997)","journal-title":"IEICE Trans. Inf. Syst."},{"key":"27_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55989-1","volume-title":"Logic Synthesis of Asynchronous Controllers and Interfaces","author":"J Cortadella","year":"2002","unstructured":"J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, A. Yakovlev. Logic Synthesis of Asynchronous Controllers and Interfaces (Springer, Berlin, 2002)"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"J. Cortadella, A. Moreno, D. Sokolov, A. Yakovlev, D. Lloyd, Waveform transition graphs: a designer-friendly formalism for asynchronous behaviours, in Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems (IEEE, Los Alamitos, 2017), pp. 73\u201374","DOI":"10.1109\/ASYNC.2017.24"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"J. de San Pedro, T. Bourgeat, J. Cortadella, Specification mining of asynchronous controllers, in Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems (IEEE, Los Alamitos, 2016), pp. 107\u2013114","DOI":"10.1109\/ASYNC.2016.10"},{"issue":"6","key":"27_CR8","first-page":"419","volume":"6","author":"M Diaz","year":"1982","unstructured":"M. Diaz, Modeling and analysis of communication and cooperation protocols using Petri net based models. Comput. Netw. 6(6), 419\u2013141 (1982)","journal-title":"Comput. Netw."},{"issue":"4","key":"27_CR9","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A Ehrenfeucht","year":"1990","unstructured":"A. Ehrenfeucht, G. Rozenberg, Partial 2-structures; part I: Basic notions and the representation problem, and part II: State spaces of concurrent systems. Acta Inform. 27(4), 315\u2013368 (1990)","journal-title":"Acta Inform."},{"key":"27_CR10","unstructured":"M. Kishinevsky, A. Kondratyev, A. Taubin, V. Varshavsky, Concurrent Hardware: The Theory and Practice of Self-Timed Design. Series in Parallel Computing (Wiley, New York, 1994)"},{"issue":"9","key":"27_CR11","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"EA Lee","year":"1987","unstructured":"E.A. Lee, D.G. Messerschmitt, Synchronous data flow. Proc. IEEE 75(9), 1235\u20131245 (1987)","journal-title":"Proc. IEEE"},{"issue":"4","key":"27_CR12","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1023\/A:1008969621405","volume":"4","author":"P Maciel","year":"1999","unstructured":"P. Maciel, E. Barros, W. Rosenstiel, A Petri net model for hardware\/software codesign. Des. Autom. Embed. Syst. 4(4), 243\u2013310 (1999)","journal-title":"Des. Autom. Embed. Syst."},{"key":"27_CR13","first-page":"204","volume-title":"A theory of asynchronous circuits, in Proceedings of an International Symposium on the Theory of Switching","author":"DE Muller","year":"1959","unstructured":"D.E. Muller, W.S. Bartky, A theory of asynchronous circuits, in Proceedings of an International Symposium on the Theory of Switching (Harvard University Press, Cambridge, 1959), pp. 204\u2013243"},{"key":"27_CR14","unstructured":"A. Peeters, The \u2018Asynchronous\u2019 Bibliography (BibTeX) database file async.bib. \n                  http:\/\/www.win.tue.nl\/async-bib\/doc\/async.bib"},{"key":"27_CR15","unstructured":"C.A. Petri, Kommunikation mit Automaten. Dissertation, Schriften des IIM 2, Rheinisch-Westf\u00e4lisches Institut f\u00fcr Instrumentelle Mathematik an der Universit\u00e4t Bonn, Bonn, 1962"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"I. Poliakov, A. Mokhov, A. Rafiev, D. Sokolov, A. Yakovlev, Automated verification of asynchronous circuits using circuit Petri nets, in 2008 14th IEEE International Symposium on Asynchronous Circuits and Systems (IEEE, Los Alamitos, 2008), pp. 161\u2013170","DOI":"10.1109\/ASYNC.2008.18"},{"key":"27_CR17","first-page":"199","volume-title":"Signal graphs: from self-timed to timed ones, in Proceedings of International Workshop on Timed Petri Nets, Torino, July 1985","author":"LY Rosenblum","year":"1985","unstructured":"L.Y. Rosenblum, A.V. Yakovlev, Signal graphs: from self-timed to timed ones, in Proceedings of International Workshop on Timed Petri Nets, Torino, July 1985 (IEEE Computer Society Press, Los Alamitos, 1985), pp. 199\u2013207"},{"key":"27_CR18","doi-asserted-by":"crossref","unstructured":"A. Semenov, A. Yakovlev, Verification of asynchronous circuits using time Petri-net unfolding, in Proc. ACM\/IEEE Design Automation Conference (IEEE, Los Alamitos, 1996), pp. 5\u201363","DOI":"10.1145\/240518.240530"},{"key":"27_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process Mining: Discovery, Conformance and Enhancement of Business Processes","author":"WMP Aalst van der","year":"2011","unstructured":"W.M.P. van der Aalst, Process Mining: Discovery, Conformance and Enhancement of Business Processes, 1st edn. (Springer, Berlin, 2011)","edition":"1"}],"container-title":["Carl Adam Petri: Ideas, Personality, Impact"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96154-5_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T09:19:33Z","timestamp":1558689573000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96154-5_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783319961538","9783319961545"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96154-5_27","relation":{},"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"25 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}