{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T20:57:21Z","timestamp":1743022641293,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642386961"},{"type":"electronic","value":"9783642386978"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38697-8_11","type":"book-chapter","created":{"date-parts":[[2013,6,19]],"date-time":"2013-06-19T01:48:46Z","timestamp":1371606526000},"page":"190-209","source":"Crossref","is-referenced-by-count":2,"title":["Step Persistence in the Design of GALS Systems"],"prefix":"10.1007","author":[{"given":"Johnson","family":"Fernandes","sequence":"first","affiliation":[]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[]},{"given":"Marta","family":"Pietkiewicz-Koutny","sequence":"additional","affiliation":[]},{"given":"Danil","family":"Sokolov","sequence":"additional","affiliation":[]},{"given":"Alex","family":"Yakovlev","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","first-page":"33","DOI":"10.3233\/FI-2009-0086","volume":"93","author":"K. Barylska","year":"2009","unstructured":"Barylska, K., Ochma\u0144ski, E.: Levels of persistency in place\/transition nets. Fundamenta Informaticae\u00a093, 33\u201343 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.ic.2012.11.004","volume":"223","author":"K. Barylska","year":"2013","unstructured":"Barylska, K., Mikulski, \u0141., Ochma\u0144ski, E.: On persistent reachability in Petri nets. Information and Computation\u00a0223, 67\u201377 (2013)","journal-title":"Information and Computation"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-68746-7_7","volume-title":"Applications and Theory of Petri Nets","author":"E. Best","year":"2008","unstructured":"Best, E., Darondeau, P.: Decomposition theorems for bounded persistent Petri nets. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol.\u00a05062, pp. 33\u201351. Springer, Heidelberg (2008)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-642-13675-7_15","volume-title":"Applications and Theory of Petri Nets","author":"E. Best","year":"2010","unstructured":"Best, E., Darondeau, P.: Separability in persistent Petri nets. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol.\u00a06128, pp. 246\u2013266. Springer, Heidelberg (2010)"},{"key":"11_CR5","unstructured":"Chapiro, D.M.: Globally-asynchronous locally-synchronous systems. PhD Thesis, Stanford University (1984)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Logic synthesis for asynchronous controllers and interfaces. Springer Series in Advanced Microelectronics, vol.\u00a08. Springer (2002)","DOI":"10.1007\/978-3-642-55989-1"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.entcs.2009.07.028","volume":"245","author":"S. Dasgupta","year":"2009","unstructured":"Dasgupta, S., Yakovlev, A.: Desynchronisation technique using Petri nets. Electronic Notes in Theoretical Computer Science\u00a0245, 51\u201367 (2009)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"11_CR8","unstructured":"Davis, A., Nowick, S.M.: An introduction to asynchronous circuit design. The Encyclopedia of Computer Science and Technology (1997)"},{"key":"11_CR9","unstructured":"Gurkaynak, F., Oetiker, S., Kaeslin, H., Felber, N., Fichtner, W.: GALS at ETH Zurich: Success or failure? In: Proceedings of the 12th IEEE International Symposium on Asynchronous Circuits and Systems (2006)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Iyer, A., Marculescu, D.: Power and performance evaluation of globally asynchronous locally synchronous processors. In: 29th International Symposium on Computer Architecture, pp. 158\u2013168. IEEE Computer Society (2002)","DOI":"10.1145\/545214.545233"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-07135-0_113","volume-title":"Parallel Processing","author":"R. Keller","year":"1975","unstructured":"Keller, R.: A fundamental theorem of asynchronous parallel computation. In: Tse-Yun, F. (ed.) Parallel Processing. LNCS, vol.\u00a024, pp. 102\u2013112. Springer, Heidelberg (1975)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/978-3-642-38697-8_12","volume-title":"PETRI NETS 2013","author":"M. Koutny","year":"2013","unstructured":"Koutny, M., Mikulski, \u0141., Pietkiewicz-Koutny, M.: A taxonomy of persistent and nonviolent steps. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol.\u00a07927, pp. 210\u2013229. Springer, Heidelberg (2013)"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1145\/322077.322079","volume":"25","author":"L.H. Landweber","year":"1978","unstructured":"Landweber, L.H., Robertson, E.L.: Properties of conflict-free and persistent Petri nets. JACM\u00a025, 352\u2013364 (1978)","journal-title":"JACM"},{"key":"11_CR14","unstructured":"Muller, D.E., Bartky, W.S.: A theory of asynchronous circuits. In: Proceedings of an International Symposium on the Theory of Switching, pp. 204\u2013243. Harvard University Press (1959)"},{"key":"11_CR15","unstructured":"Myers, C.: Asynchronous circuit design. Wiley (2004)"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Sparso, J., Furber, S.: Principles of asynchronous circuit design: a systems perspective. Kluwer Academic Publishers (2001)","DOI":"10.1007\/978-1-4757-3385-3"},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.entcs.2009.07.032","volume":"245","author":"K.S. Stevens","year":"2009","unstructured":"Stevens, K.S., Gebhardt, D., You, J., Xu, Y., Vij, V., Das, S., Desai, K.: The future of formal methods and GALS design. Electronic Notes in Theoretical Computer Science\u00a0245, 115\u2013134 (2009)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"11_CR18","first-page":"70","volume":"VI","author":"A. Yakovlev","year":"1985","unstructured":"Yakovlev, A.: Designing self-timed systems. VLSI System Design\u00a0VI, 70\u201390 (1985)","journal-title":"VLSI System Design"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/S0167-9260(96)00010-7","volume":"21","author":"A. Yakovlev","year":"1996","unstructured":"Yakovlev, A., Koelmans, A., Semenov, A., Kinniment, D.: Modelling, analysis and synthesis of asynchronous control circuits using Petri nets. Integration, the VLSI Journal\u00a021, 143\u2013170 (1996)","journal-title":"Integration, the VLSI Journal"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38697-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T03:07:55Z","timestamp":1674875275000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-38697-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642386961","9783642386978"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38697-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}