{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:16:50Z","timestamp":1755217010045,"version":"3.43.0"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"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":["Formal Methods in System Design"],"published-print":{"date-parts":[[1998,1]]},"DOI":"10.1023\/a:1008669013857","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T10:12:40Z","timestamp":1040551960000},"page":"5-38","source":"Crossref","is-referenced-by-count":7,"title":["Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings"],"prefix":"10.1007","volume":"12","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","reference":[{"key":"150741_CR1","unstructured":"T.-A. Chu, \u201cSynthesis of Self-timed VLSI Circuits from Graph-theoretic Specifications,\u201d PhD thesis, MIT, June 1987."},{"key":"150741_CR2","unstructured":"J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev, \u201cSynthesizing Petri nets from state-based models,\u201d Proceedings of the International Conference on Computer-Aided Design, November 1995."},{"key":"150741_CR3","doi-asserted-by":"crossref","unstructured":"J. Esparza, \u201cModel checking using net unfoldings,\u201d In M.-C. Gaudel and J.-P. Jouannaud, editors, TAPSOFT' 93: Theory and Practice of Software Development. 4th Int. Joint Conference CAAP\/FASE, Lecture Notes in Computer Science 668, Springer-Verlag, 1993, pp. 613\u2013628.","DOI":"10.1007\/3-540-56610-4_93"},{"key":"150741_CR4","unstructured":"T. Esparza, S. Romer, and W. Vogler, \u201cAn improvement of mcmillan's unfolding algorithm,\u201d Technical Report TUM: 19599, Technische Universitat Munchen, August 1995."},{"key":"150741_CR5","doi-asserted-by":"crossref","unstructured":"P. Godefroid, \u201cUsing partial orders to improve automatic verification methods,\u201d In E.M Clarke and R.P. Kurshan, editors, Proc. International Workshop on Computer Aided Verification, DIMACS Series in Discrete Mathematica and Theoretical Computer Science, 1991, pp. 321\u2013340.","DOI":"10.1090\/dimacs\/003\/21"},{"key":"150741_CR6","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":"150741_CR7","doi-asserted-by":"crossref","unstructured":"Michael Kishinevsky and J\u00f8rgen Staunstrup, \u201cCharacterizing speed-independence of high-level designs,\u201d In Proceedings of the Symposium on Advanced Reserch in Asynchronous Cirsuits and Systems, Utah, USA, November 1994, pages 44\u201353.","DOI":"10.1109\/ASYNC.1994.656285"},{"key":"150741_CR8","doi-asserted-by":"crossref","unstructured":"A. Kondratyev, J. Cortadella, M. Kishinevsky, E. Pastor, O. Roig, and A. Yakovlev, \u201cChecking Signal Transition Graph implementability by symbolic BDD traversal,\u201d In Proceedings of the European Design and Test Conference (ED&TC), Paris, France, March 1995, pp. 325\u2013332","DOI":"10.1109\/EDTC.1995.470376"},{"key":"150741_CR9","unstructured":"A. Kondratyev, M. Kishinevsky, A. Taubin, and S. Ten, \u201cAnalysis of petri nets by ordering relations in reduced unfoldings,\u201d Technical Report TR:95-2-002, The University of Aizu, June 1995."},{"key":"150741_CR10","doi-asserted-by":"crossref","unstructured":"A. Kondratyev and A. Taubin, \u201cVerification of speed-independent circuits by STG unfoldings,\u201d In Proceedings of the Symposium on Advanced Reserch in Asynchronous Cirsuits and Systems, Utah, USA, November 1994, pp. 64\u201375.","DOI":"10.1109\/ASYNC.1994.656287"},{"key":"150741_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3212-5","volume-title":"Algorithms for synthesis and testing of asynchronous circuits","author":"L. Lavagno","year":"1993","unstructured":"L. Lavagno and A. Sangiovanni-Vincentelli, Algorithms for synthesis and testing of asynchronous circuits, Kluwer Academic Publishers, Boston\/Dordrecht\/London, 1993."},{"key":"150741_CR12","unstructured":"Luciano Lavagno, \u201cSet of input-choice benchmarks,\u201d In Private Communication, 1994."},{"key":"150741_CR13","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF01384314","volume":"6","author":"K. McMillan","year":"1995","unstructured":"K. McMillan, \u201cA technique of state space search based on unfolding,\u201d Formal Methods in System Design, 6:45\u201365, 1995.","journal-title":"Formal Methods in System Design"},{"key":"150741_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3990-2","volume-title":"Synchronization Design for Digital Systems","author":"T. H. Meng","year":"1991","unstructured":"T. H.-Y. Meng, Synchronization Design for Digital Systems. Kluwer Academic Publishers, Boston\/Dordrecht\/London, 1991, contributions by David Messerschmitt, Steven Nowick, and David Dill."},{"key":"150741_CR15","unstructured":"D. E. Muller, \u201cAsynchronous logics and application to information processing,\u201d In Proc. Symp. on Application of Switching Theory in Space Technology, Stanford University Press, 1963, pp. 289\u2013297."},{"key":"150741_CR16","unstructured":"D. E. Muller and W. C. Bartky, \u201cA theory of asynchronous circuits,\u201d In Annals of Computing Laboratory of Harvard University, 1959, pp. 204\u2013243."},{"key":"150741_CR17","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata, \u201cPetri nets: Properties, analysis and applications,\u201d Proceedings of IEEE, 77:541\u2013580, 1989.","journal-title":"Proceedings of IEEE"},{"key":"150741_CR18","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1980","unstructured":"M. Nielsen, G. Plotkin, and G. Winskel, \u201cEvents structures and domains,\u201d Theoretical Computer Science, 13:85\u2013108, 1980.","journal-title":"Theoretical Computer Science"},{"key":"150741_CR19","unstructured":"S. M. Nowick and D. L. Dill, \u201cAutomatic synthesis of locally-clocked asynchronous state machines,\u201d In Proceedings of the International Conference on Computer-Aided Design, November 1991."},{"key":"150741_CR20","doi-asserted-by":"crossref","unstructured":"E. Pastor, O. Roig, J. Cortadella, and R. Badia, \u201cPetri net analysis using boolean manipulation,\u201d In 15th International Conference on Application and Theory of Petri Nets, Zaragoza, Spain, June 1994, pp. 416\u2013435.","DOI":"10.1007\/3-540-58152-9_23"},{"key":"150741_CR21","unstructured":"S. Patil and J. Dennis, \u201cThe description and realization of digital systems,\u201d In Proceedings of the IEEE COMPCON, New York, 1972, pp. 223\u2013226."},{"key":"150741_CR22","doi-asserted-by":"crossref","unstructured":"L. Pomello, G. Rozenberg, and C. Simone, \u201cA survey of equivalence notions for net based systems,\u201d Lecture Notes in Computer Science, 609:410\u2013472, 1993.","DOI":"10.1007\/3-540-55610-9_180"},{"key":"150741_CR23","unstructured":"A. Semenov and A. Yakovlev, \u201cEvent-based framework for verifying high-level models of asynchronous circuits,\u201d Technical Report TR No. 487, Computing Science, University of Newcastle upon Tyne, June 1994."},{"key":"150741_CR24","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, \u201cSIS: A system for sequential circuit synthesis,\u201d Technical Report UCB\/ERL M92\/41, U.C. Berkeley, May 1992."},{"key":"150741_CR25","first-page":"6","volume":"46","author":"A. Valmari","year":"1994","unstructured":"A. Valmari, \u201cState of the art report: Stubborn sets,\u201d Petri Nets Newsletter, 46:6\u201314, 1994.","journal-title":"Petri Nets Newsletter"},{"key":"150741_CR26","doi-asserted-by":"crossref","unstructured":"P. Vanbekbergen, F. Catthoor, G. Goossens, and H. De Man, \u201cOptimized synthesis of asynchronous control circuits from graph-theoretic specifications,\u201d IEEE Transactions on Computer-Aided Design, November 1992.","DOI":"10.1109\/43.177405"},{"key":"150741_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"568","DOI":"10.1007\/3-540-58152-9_31","volume-title":"Proceedings of the 15th International Conference on Application and Theory of Petri Nets","author":"A. Yakovlev","year":"1994","unstructured":"A. Yakovlev, M. Kishinevsky, A. Kondratyev, and L. Lavagno, \u201cOR causality: modelling and hardware implementation,\u201d In Proceedings of the 15th International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science 815, Zaragosa, Spain, Springer-Verlag, June 1994, pp. 568\u2013587."}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008669013857.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008669013857\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008669013857.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T04:12:30Z","timestamp":1754367150000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008669013857"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":27,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["150741"],"URL":"https:\/\/doi.org\/10.1023\/a:1008669013857","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}