{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:30Z","timestamp":1725664650770},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540613633"},{"type":"electronic","value":"9783540685050"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61363-3_19","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:34:52Z","timestamp":1330292092000},"page":"346-365","source":"Crossref","is-referenced-by-count":9,"title":["A structural approach for the analysis of Petri Nets by reduced unfoldings"],"prefix":"10.1007","author":[{"given":"Alex","family":"Kondratyev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Kishinevsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Taubin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergei","family":"Ten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"19_CR1","unstructured":"T.-A. Chu. Synthesis of Self-timed VLSI Circuits from Graph-theoretic Specifications. PhD thesis, MIT, June 1987."},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev. Synthesizing Petri nets from state-based models. In Proceedings of the International Conference on Computer-Aided Design, November 1995. to appear.","DOI":"10.1109\/ICCAD.1995.480008"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"J. Esparza. Model checking using net unfoldings. In M.-C. Gaudel and J.-P. Jouannaud, editors, TAPSOFT'93: Theory and Practice of Software Development. 4th Int. Joint Conference CAAP\/FASE, volume 668 of Lecture Notes in Computer Science, pages 613\u2013628. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56610-4_93"},{"key":"19_CR4","unstructured":"T. Esparza, S. Romer, and W. Vogler. An improvement of mcmillan's unfolding algorithm. Technical Report TUM: 19599, Technische Universitat M\u00fcnchen, August 1995."},{"key":"19_CR5","unstructured":"M. A. Kishinevsky, A. Y. Kondratyev, A. R. Taubin, and V. I. Varshavsky. Concurrent Hardware. The Theory and Practice of Self-Timed Design. John Wiley and Sons Ltd., 1994."},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"A. Kondratyev, J. Cortadella, M. Kishinevsky, E. Pastor, O. Roig, and A. Yakovlev. Checking Signal Transition Graph implementability by symbolic BDD traversal. In Proceedings of the European Design and Test Conference (ED&TC), pages 325\u2013332, Paris, France, March 1995.","DOI":"10.1109\/EDTC.1995.470376"},{"key":"19_CR7","unstructured":"A. Kondratyev, M. Kishinevsky, A. Taubin, and S. Ten. Analysis of Petri nets by ordering relations in reduced unfoldings. Technical Report TR:95-2-002, The University of Aizu, June 1995."},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"A. Kondratyev and A. Taubin. Verification of speed-independent circuits by STG unfoldings. In Proceedings of the Symposium on Advanced Reserch in Asynchronous Cirsuits and Systems, pages 64\u201375, Utah, USA, November 1994.","DOI":"10.1109\/ASYNC.1994.656287"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"L. Lavagno and A. Sangiovanni-Vincentelli. Algorithms for synthesis and testing of asynchronous circuits. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4615-3212-5"},{"issue":"1","key":"19_CR10","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF01384314","volume":"6","author":"K. McMillan","year":"1995","unstructured":"K. McMillan. A technique of state space search based on unfolding. Formal Methods in System Design, 6(1):45\u201365, 1995.","journal-title":"Formal Methods in System Design"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"T. H.-Y. Meng. Synchronization Design for Digital Systems. Kluwer Academic Publishers, 1991. Contributions by David Mes David Dill.","DOI":"10.1007\/978-1-4615-3990-2"},{"key":"19_CR12","unstructured":"D. E. Muller. Asynchronous logics and application to information processing. In Proc. Symp. on Application of Switching Theory in Space Technology, pages 289\u2013297. Stanford University Press, 1963."},{"key":"19_CR13","unstructured":"D. E. M\u00fcller and W. C. Bartky. A theory of asynchronous circuits. In Annals of Computing Laboratory of Harvard University, pages 204\u2013243, 1959."},{"issue":"4","key":"19_CR14","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata. Petri nets: Properties, analysis and applications. Proceedings of IEEE, 77(4):541\u2013580, April 1989.","journal-title":"Proceedings of IEEE"},{"issue":"1","key":"19_CR15","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1980","unstructured":"M. Nielsen, G. Plotkin, and Winskel G. Events structures and domains. Theoretical Computer Science, 13(1):85\u2013108, 1980.","journal-title":"Theoretical Computer Science"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"E. Pastor, O. Roig, J. Cortadella, and R. Badia. Petri net analysis using boolean manipulation. In 15th International Conference on Application and Theory of Petri Nets, pages 416\u2013435, Zaragoza, Spain, June 1994.","DOI":"10.1007\/3-540-58152-9_23"},{"key":"19_CR17","unstructured":"S. Patil and J. Dennis. The description and realization of digital systems. In Proceedings of the IEEE COMPCON, pages 223\u2013226, N.Y., 1972."},{"key":"19_CR18","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/3-540-55610-9_180","volume":"609","author":"L. Pomello","year":"1993","unstructured":"L. Pomello, G. Rozenberg, and C. Simone. A survey of equivalence notions for net based systems. Lecture Notes in Computer Science, 609:410\u2013472, 1993.","journal-title":"Lecture Notes in Computer Science"},{"key":"19_CR19","unstructured":"A. Semenov and A. Yakovlev. Event-based framework for verifying high-level models of asynchronous circuits. Technical Report TR No.487, Computing Science, University of Newcastle upon Tyne, June 1994."},{"key":"19_CR20","unstructured":"E. M. Sentovich, K. J. Singh, L. Lavagno, C. Moon, R. Murgai, A. Saldanha, H. Savoj, P. R. Stephan, R. K. Brayton, and A. Sangiovanni-Vincentelli. SIS: A system for sequential circuit synthesis. Technical Report UCB\/ERL M92\/41, U.C. Berkeley, May 1992."},{"key":"19_CR21","first-page":"6","volume":"46","author":"A. Valmari","year":"1994","unstructured":"A. Valmari. State of the art report: Stubborn sets. Petri Nets Newsletter, (46):6\u201314, 1994.","journal-title":"Petri Nets Newsletter"},{"key":"19_CR22","first-page":"568","volume-title":"volume 815 of Lecture Notes in Computer Science","author":"A. Yakovlev","year":"1994","unstructured":"A. Yakovlev, M. Kishinevsky, A. Kondratyev, and L. Lavagno. OR causality: modelling and hardware implementation. In Proceedings of the 15th International Conference on Application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science, pages 568\u2013587, Zaragosa, Spain, June 1994. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1996"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61363-3_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:31:40Z","timestamp":1619573500000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61363-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613633","9783540685050"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-61363-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}