{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T16:53:27Z","timestamp":1694624007050},"reference-count":7,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[1992,11,1]],"date-time":"1992-11-01T00:00:00Z","timestamp":720576000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1992,11]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>Free choice nets are a class of Petri nets which allow the modelling of concurrency and nondeterministic choice, but with the restriction that choices cannot be influenced externally. Home states are initial states which lead to a strongly connected state graph, that is, a home state can be reached from any of its successor states. The main result of this paper characterises the home states of a well-formed free choice net compositionally by recourse to its decomposition into T-components.<\/jats:p>","DOI":"10.1007\/bf01211475","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T17:34:19Z","timestamp":1109352859000},"page":"572-581","source":"Crossref","is-referenced-by-count":1,"title":["Compositional generation of home states in free choice nets"],"prefix":"10.1145","volume":"4","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[{"name":"Institut f\u00fcr Informatik, Universit\u00c4t Hildesheim, D-3200, Hildesheim, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ludmila","family":"Cherkasova","sequence":"additional","affiliation":[{"name":"Institute of Informatics Systems, USSR Academy of Sciences, USSR"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"Desel","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Informatik, Technische Universit\u00c4t M\u00fcnchen, M\u00fcnchen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01888220"},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"crossref","unstructured":"Best E. Desel J. and Esparza J.: Traps Characterise Home States in Free Choice Systems. To appear in Theoretical Computer Science (1992).","DOI":"10.1016\/0304-3975(92)90048-K"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(71)80013-2"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"crossref","unstructured":"Desel J. and Esparza J.: Reachability in Reversible Free Choice Systems. Proc. STACS 91 G. Choffrut and M. Jantzen (eds) Lecture Notes in Computer Science 480 384\u2013397 Springer-Verlag (1991).","DOI":"10.1007\/BFb0020814"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264027"},{"key":"e_1_2_1_2_6_2","unstructured":"Hack M.: Analysis of Production Schemata by Petri Nets. TR-94 MIT-MAC 1972. Corrections (1974)."},{"key":"e_1_2_1_2_7_2","unstructured":"Reisig W.: Petri Nets: An Introduction . EATCS Monographs on Theoretical Computer Science Vol. 4 Springer-Verlag (1985)."}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01211475.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01211475\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01211475","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:22:40Z","timestamp":1641482560000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01211475"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,11]]},"references-count":7,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1992,11]]}},"alternative-id":["10.1007\/BF01211475"],"URL":"https:\/\/doi.org\/10.1007\/bf01211475","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,11]]}}}