{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:06:24Z","timestamp":1725483984072},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439974"},{"type":"electronic","value":"9783540456575"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45657-0_49","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T10:59:43Z","timestamp":1179572383000},"page":"582-595","source":"Crossref","is-referenced-by-count":34,"title":["Canonical Prefixes of Petri Net Unfoldings"],"prefix":"10.1007","author":[{"given":"Victor","family":"Khomenko","sequence":"first","affiliation":[]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[]},{"given":"Walter","family":"Vogler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"49_CR1","unstructured":"E. M. Clarke, O. Grumberg, and D. Peled: Model Checking. MIT Press (1999)."},{"key":"49_CR2","doi-asserted-by":"crossref","unstructured":"P.M. Cohn: Universal Algebra. Reidel, 2nd edition (1981).","DOI":"10.1007\/978-94-009-8399-1"},{"key":"49_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/3-540-45740-2_9","volume-title":"Proc. of ICATPN\u20192001","author":"J.-M. Couvreur","year":"2001","unstructured":"J.-M. Couvreur, S. Grivet and D. Poitrenaud: Unfolding of Products of Symmetrical Petri Nets. Proc. of ICATPN\u20192001. Springer LNCS 2075 (2001) 121\u2013143."},{"key":"49_CR4","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/BF01463946","volume":"28","author":"J. Engelfriet","year":"1991","unstructured":"J. Engelfriet: Branching processes of Petri Nets. Acta Inf. 28 (1991) 575\u2013591.","journal-title":"Acta Inf."},{"key":"49_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/3-540-61042-1_40","volume-title":"Proc. of TACAS\u201996","author":"J. Esparza","year":"1996","unstructured":"J. Esparza, S.R\u00f6mer and W. Vogler: An Improvement of McMillan\u2019s Unfolding Algorithm. Proc. of TACAS\u201996. Springer LNCS 1055 (1996) 87\u2013106."},{"key":"49_CR6","unstructured":"K. Heljanko: Minimizing Finite Complete Prefixes. Proc. of CS&P\u201999, Warsaw, Poland (1999) 83\u201395."},{"issue":"3","key":"49_CR7","first-page":"247","volume":"37","author":"K. Heljanko","year":"1999","unstructured":"K. Heljanko: Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets. Fund. Inf. 37(3) (1999) 247\u2013268.","journal-title":"Fund. Inf."},{"key":"49_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/3-540-46002-0_26","volume-title":"Proc. of TACAS\u201902","author":"K. Heljanko","year":"2002","unstructured":"K. Heljanko, V. Khomenko and M. Koutny: Parallelisation of the Petri Net Unfolding Algorithm. Proc. of TACAS\u201902. Springer LNCS 2280 (2002) 371\u2013385."},{"key":"49_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/3-540-44618-4_30","volume-title":"Proc. of CONCUR\u20192000","author":"V. Khomenko","year":"2000","unstructured":"V. Khomenko and M. Koutny: LP Deadlock Checking Using Partial Order Dependencies. Proc. of CONCUR\u20192000. Springer LNCS 1877 (2000) 410\u2013425."},{"key":"49_CR10","unstructured":"V. Khomenko, M. Koutny and W. Vogler: Canonical Prefixes of Petri Net Unfold-ings. Techn. Rep. CS-TR-741, Dept. of Comp. Sci., Univ. of Newcastle (2001)."},{"key":"49_CR11","doi-asserted-by":"crossref","unstructured":"V. Khomenko, M. Koutny and A. Yakovlev: Detecting State Coding Conflicts in STGs Using Integer Programming. Proc. of DATE\u201902. IEEE (2002) 338\u2013345.","DOI":"10.1109\/DATE.2002.998295"},{"key":"49_CR12","first-page":"121","volume":"3","author":"D. K\u00f6nig","year":"1927","unstructured":"D. K\u00f6nig: \u00dcber eine Schlu\u00dfweise aus dem Endlichen ins Unendliche. Acta Litt. ac. sci. Szeged 3 (1927) 121\u2013130. Bibliography in: Theorie der endlichen und unendlichen Graphen. Teubner, Leipzig (1936, reprinted 1986)","journal-title":"Acta Litt. ac. sci. Szeged"},{"key":"49_CR13","series-title":"Lect Notes Comput Sci","first-page":"164","volume-title":"Proc. of CAV\u201992","author":"K. L. McMillan","year":"1992","unstructured":"K. L. McMillan: Using Unfoldings to Avoid State Explosion Problem in the Verification of Asynchronous Circuits. Proc. of CAV\u201992. LNCS 663 (1992) 164\u2013174."},{"key":"49_CR14","doi-asserted-by":"crossref","unstructured":"K.L. McMillan: Symbolic Model Checking. PhD thesis, CMU-CS-92-131 (1992).","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"49_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1007\/3-540-63166-6_35","volume-title":"Proc. of CAV\u201997","author":"S. Melzer","year":"1997","unstructured":"S. Melzer and S. R\u00f6mer: Deadlock Checking Using Net Unfoldings. Proc. of CAV\u201997. Springer LNCS 1254 (1997) 352\u2013363."},{"key":"49_CR16","doi-asserted-by":"crossref","unstructured":"A. Semenov: Verification and Synthesis of Asynchronous Control Circuits Using Petri Net Unfolding. PhD Thesis, University of Newcastle upon Tyne (1997).","DOI":"10.1145\/240518.240530"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45657-0_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T01:21:02Z","timestamp":1556414462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45657-0_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439974","9783540456575"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45657-0_49","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}