{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:13:40Z","timestamp":1725455620993},"publisher-location":"Berlin\/Heidelberg","reference-count":11,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540537090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0020814","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:07:52Z","timestamp":1131862072000},"page":"384-397","source":"Crossref","is-referenced-by-count":4,"title":["Reachability in reversible Free Choice systems"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"Desel","sequence":"first","affiliation":[]},{"given":"Javier","family":"Esparza","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","unstructured":"E. Best, L. Cherkasova, J. Desel and J. Esparza: Characterisation of Home States in Free Choice Systems. Hildesheimer Informatikberichte Nr. 9\/90 (1990)."},{"issue":"2","key":"32_CR2","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BF01888220","volume":"2","author":"E. Best","year":"1990","unstructured":"E. Best and J. Desel: Partial Order Behaviour and Structure of Petri Nets. Formal Aspects of Computing Vol. 2 No. 2, 123\u2013138 (1990).","journal-title":"Formal Aspects of Computing"},{"key":"32_CR3","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/S0022-0000(71)80013-2","volume":"5","author":"F. Commoner","year":"1971","unstructured":"F. Commoner, A.W. Holt, S. Even and A. Pnueli: Marked Directed Graphs. Journal of Computer and System Science Vol. 5, 511\u2013523 (1971).","journal-title":"Journal of Computer and System Science"},{"key":"32_CR4","unstructured":"J. Desel and J. Esparza: Reachability in Reversible Free Choice Systems. SFB-Bericht Nr. 342\/11\/90 A, Technische Universit\u00e4t M\u00fcnchen (1990)."},{"key":"32_CR5","unstructured":"J. Esparza and M. Silva: Top-down synthesis of live and bounded Free Choice nets. Proceedings of the 11th International Conference on Applications and Theory of Petri nets 63\u201383 (1990)."},{"key":"32_CR6","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BF00264027","volume":"2","author":"H.J. Genrich","year":"1973","unstructured":"H.J. Genrich and K. Lautenbach: Synchronisationsgraphen. Acta Informatica Vol. 2, 143\u2013161 (1973).","journal-title":"Acta Informatica"},{"key":"32_CR7","unstructured":"M. Hack: Analysis of Production Schemata by Petri Nets. TR-94, MIT-MAC (1972)."},{"key":"32_CR8","unstructured":"D. Hillen: Relationship between Deadlock-freeness and Liveness in Free Choice Nets. Newsletter of the GI Special Interest Group in Petri Nets and Related System Models, No. 19, 28\u201332 (1985)."},{"key":"32_CR9","doi-asserted-by":"crossref","unstructured":"S.R. Kosaraju: Decidability of reachability in vector addition systems. Proceedings of the 14th Annual Symposium of the Theory of Computing, 267\u2013281 (1982).","DOI":"10.1145\/800070.802201"},{"key":"32_CR10","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1137\/0213029","volume":"13","author":"E.W. Mayr","year":"1984","unstructured":"E.W. Mayr: An algorithm for the general Petri net reachability problem. SIAM Journal of Computing, Vol. 13, 441\u2013460 (1984).","journal-title":"SIAM Journal of Computing"},{"key":"32_CR11","unstructured":"M. Minoux and K. Barkaoui: Polynomial Time Proof or Disproof of Commoner's Structural Property in Petri Nets. Proceedings of the 9th European Workshop on Applications and Theory of Petri Nets, Venice, 113\u2013125 (1989)."}],"container-title":["Lecture Notes in Computer Science","STACS 91"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020814.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:45:10Z","timestamp":1607550310000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020814"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540537090"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0020814","relation":{},"subject":[]}}