{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:13:41Z","timestamp":1725455621347},"publisher-location":"Berlin\/Heidelberg","reference-count":8,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540537090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0020815","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:07:52Z","timestamp":1131862072000},"page":"398-409","source":"Crossref","is-referenced-by-count":2,"title":["Compositional generation of home states in free choice systems"],"prefix":"10.1007","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[]},{"given":"Ludmila","family":"Cherkasova","sequence":"additional","affiliation":[]},{"given":"J\u00f6rg","family":"Desel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"33_CR1","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":"33_CR2","unstructured":"E. Best, L. Cherkasova, J. Desel and J. Esparza: Characterisation of Home States in Free Choice Systems. Hildesheimer Informatik-Berichte Nr. 9\/90 (September 1990)."},{"key":"33_CR3","unstructured":"E. Best, J. Desel and J. Esparza: Traps Characterise Home States in Free Choice Systems. Submitted Paper (June 1990)."},{"key":"33_CR4","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":"33_CR5","doi-asserted-by":"crossref","unstructured":"J. Desel and J. Esparza: Reachability in Reversible Free Choice Systems. Proceedings of STACS'91, Lecture Notes in Computer Science, Springer Verlag (1991).","DOI":"10.1007\/BFb0020814"},{"key":"33_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":"33_CR7","unstructured":"M. Hack: Analysis of Production Schemata by Petri Nets. TR-94, MIT-MAC (1972). Corrections (1974)."},{"key":"33_CR8","unstructured":"W. Reisig: Petri Nets \u2014 an Introduction. EATCS Monographs on Theoretical Computer Science, Vol. 4, Springer Verlag (1985)."}],"container-title":["Lecture Notes in Computer Science","STACS 91"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020815.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:45:11Z","timestamp":1607550311000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020815"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540537090"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0020815","relation":{},"subject":[]}}