{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:35:23Z","timestamp":1778301323878,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540577850","type":"print"},{"value":"9783540483328","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57785-8_173","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:20:23Z","timestamp":1330262423000},"page":"581-592","source":"Crossref","is-referenced-by-count":29,"title":["Decidability questions for bisimilarity of Petri nets and some related problems"],"prefix":"10.1007","author":[{"given":"Petr","family":"Jan\u010dar","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"47_CR1","doi-asserted-by":"crossref","unstructured":"Autant C., Belmesk Z., Schnoebelen Ph.: Strong bisimilarity on nets revisited; PARLE'91, LNCS 506, 295\u2013312","DOI":"10.1007\/3-540-54152-7_71"},{"key":"47_CR2","unstructured":"Baker H.: Rabin's proof of the undecidability of the reachability set inclusion problem of vector addition systems; MAC \u2014 Memo 79, MIT (1973)"},{"key":"47_CR3","doi-asserted-by":"crossref","unstructured":"Christensen S., H\u00fcttel H., Stirling C.: Bisimulation equivalence is decidable for all context-free processes; CONCUR'92, LNCS 630, 138\u2013147","DOI":"10.1007\/BFb0084788"},{"key":"47_CR4","doi-asserted-by":"crossref","unstructured":"Christensen S., Hirshfeld Y., Moller F.: Bisimulation equivalence is decidable for all Basic Parallel Processes; CONCUR'93, LNCS 715, 143\u2013157","DOI":"10.1007\/3-540-57208-2_11"},{"key":"47_CR5","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0021-8693(69)90070-2","volume":"13","author":"S. Eilenberg","year":"1969","unstructured":"Eilenberg S., Sch\u00fctzenberger M.: Rational sets in commutative monoids; J. of Algebra 13, 1969, 173\u2013191","journal-title":"J. of Algebra"},{"issue":"2","key":"47_CR6","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1966.16.285","volume":"16","author":"S. Ginsburg","year":"1966","unstructured":"Ginsburg S., Spanier E.: Semigroups, Presburger formulas, and languages; Pacific J.of Mathematics, 16(2), 1966, 285\u2013296","journal-title":"Pacific J.of Mathematics"},{"key":"47_CR7","unstructured":"Hack M.: Decision problems for Petri nets and vector addition systems; MAC Tech.Memo 53, MIT (1975)"},{"key":"47_CR8","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(76)90008-6","volume":"2","author":"M. Hack","year":"1976","unstructured":"Hack M.: The equality problem for vector addition systems is undecidable; TCS 2, 1976, 77\u201395","journal-title":"TCS"},{"key":"47_CR9","volume-title":"Proc. of Computer Science Logic '93","author":"Y. Hirshfeld","year":"1993","unstructured":"Hirshfeld Y.: Petri nets and the equivalence problem; to appear in Proc. of Computer Science Logic '93; Swansea, Wales, September 13\u201317, 1993."},{"key":"47_CR10","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(79)90041-0","volume":"8","author":"J. Hopcroft","year":"1979","unstructured":"Hopcroft J., Pansiot J.: On the reachability problem for 5-dimensional vector addition systems; TCS 8, 1979, 135\u2013159","journal-title":"TCS"},{"key":"47_CR11","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/0304-3975(86)90026-5","volume":"46","author":"R. Howell","year":"1986","unstructured":"Howell R., Rosier L., Huynh D., Yen H.: Some complexity bounds for problems concerning finite and 2-dimensional vector addition systems with states; TCS 46, 1986, 107\u2013140","journal-title":"TCS"},{"key":"47_CR12","volume-title":"Techn. rep. ECS-LFCS-93-261","author":"P. Jan\u010dar","year":"1993","unstructured":"Jan\u010dar P.: Decidability questions for bisimilarity of Petri nets and some related problems; Techn. rep. ECS-LFCS-93-261, Univ. of Edinburgh, UK, April 1993"},{"issue":"3","key":"47_CR13","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1137\/0213029","volume":"13","author":"E. Mayr","year":"1984","unstructured":"Mayr E.: An algorithm for the general Petri net reachability problem; SIAM J.Comput. 13(3), 1984, 441\u2013460","journal-title":"SIAM J.Comput"},{"key":"47_CR14","unstructured":"Minsky M.: Computation: Finite and Infinite Machines; Prentice Hall, 1967"},{"key":"47_CR15","unstructured":"Milner R.: Communication and Concurrency; Prentice Hall 1989"},{"key":"47_CR16","first-page":"323","volume":"16","author":"D.C. Oppen","year":"1978","unstructured":"Oppen D.C.: A $$2^{2^{2^{pn} } }$$ upper bound on the complexity of Presburger Arithmetic; JCSS 16, 1978, 323\u2013332","journal-title":"JCSS"},{"key":"47_CR17","unstructured":"Peterson J.L.: Petri Net Theory and the Modeling of Systems; Prentice Hall 1981"},{"key":"47_CR18","first-page":"299","volume":"23","author":"R. Valk","year":"1981","unstructured":"Valk R., Vidal-Naquet G.: Petri nets and regular languages; JCSS 23, 1981, 299\u2013325","journal-title":"JCSS"}],"container-title":["Lecture Notes in Computer Science","STACS 94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57785-8_173.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:14:01Z","timestamp":1605647641000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57785-8_173"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540577850","9783540483328"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-57785-8_173","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}