{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T00:30:38Z","timestamp":1675211438370},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1984,5,1]],"date-time":"1984-05-01T00:00:00Z","timestamp":452217600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1984,5]]},"DOI":"10.1007\/bf00289141","type":"journal-article","created":{"date-parts":[[2004,10,4]],"date-time":"2004-10-04T21:07:11Z","timestamp":1096924031000},"page":"89-100","source":"Crossref","is-referenced-by-count":36,"title":["Free choice systems have home states"],"prefix":"10.1007","volume":"21","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[]},{"given":"Klaus","family":"Voss","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"2497","DOI":"10.1109\/TCOM.1982.1095452","volume":"30","author":"G. Berthelot","year":"1982","unstructured":"Berthelot, G., Terrat, R.: Petri nets for the correctness of protocols. IEEE Trans. Comm. 30, 2497?2505 (1982)","journal-title":"IEEE Trans. Comm."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0304-3975(82)90020-2","volume":"18","author":"E. Best","year":"1982","unstructured":"Best, E.: Adequacy properties of path programs. Theor. Comput. Sci. 18, 149?171 (1982)","journal-title":"Theor. Comput. Sci."},{"key":"CR3","first-page":"431","volume-title":"Formal description of programming concepts II","author":"E. Best","year":"1983","unstructured":"Best, E.: Relational semantics of concurrent programs (with some applications). In: Formal description of programming concepts II (D. Bj\u00f8rner, ed.), pp. 431?452. Amsterdam: North Holland 1983"},{"key":"CR4","first-page":"141","volume-title":"Lecture Notes in Computer Science, Vol. 159","author":"E. Best","year":"1983","unstructured":"Best, E., Shields, M.W.: Some equivalence results on free choice nets and simple nets and on the periodicity of live and safe free choice nets. Proc. CAAP'83, Lecture Notes in Computer Science, Vol. 159, pp. 141?154. Berlin-Heidelberg-New York: Springer 1983"},{"key":"CR5","series-title":"Lecture Notes in Computer Science, Vol. 84","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-10001-6_22","volume-title":"Net theory and applications","author":"H.J. Genrich","year":"1980","unstructured":"Genrich, H.J., Lautenbach, K., Thiagarajan, P.S.: Elements of General Net Theory. In: Net theory and applications. (W. Brauer, ed.), Lecture Notes in Computer Science, Vol. 84, pp. 21?163. Berlin-Heidelberg-New York: Springer 1980"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/S0022-0000(71)80013-2","volume":"5","author":"F. Commoner","year":"1971","unstructured":"Commoner, F., Holt, A.W., Even, S., Pnueli, A.: Marked directed graphs. J. Comput. System Sci. 5, 511?523 (1971)","journal-title":"J. Comput. System Sci."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/BF00264027","volume":"2","author":"HJ. Genrich","year":"1973","unstructured":"Genrich, HJ., Lautenbach, K.: Synchronisationsgraphen. Acta Informat. 2, 143?161 (1973)","journal-title":"Acta Informat."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Genrich, H.J., Thiagarajan, P.S.: A theory of bipolar synchronisation schemes. Computer Science Department, University of Aarhus (1983). Also to appear in TCS","DOI":"10.7146\/dpb.v12i158.7432"},{"key":"CR9","volume-title":"Analysis of production schemata by Petri nets. TR-94","author":"M.H.T. Hack","year":"1972","unstructured":"Hack, M.H.T.: Analysis of production schemata by Petri nets. TR-94, MIT, Boston (1972). Corrected June 1974"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"R. Keller","year":"1976","unstructured":"Keller, R.: Formal verification of parallel programs. Comm. ACM 19, 371?387 (1976)","journal-title":"Comm. ACM"},{"key":"CR11","unstructured":"Shields, M.W.: On the non-sequential behaviour of systems possessing a generalised free choice property. Internal Report CRS-92-81, Edinburgh University (1981). Also to appear in TCS"},{"key":"CR12","unstructured":"Thiagarajan, P.S., Voss, K.: In praise of free choice nets. Proc. 4th Petri Net Workshop, pp. 322?341, Toulouse (1983)"},{"key":"CR13","unstructured":"Thiagarajan, P.S., Voss, K.: A fresh look at free choice nets. Arbeitspapiere der GMD No. 58, St. Augustin (1983)"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289141.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00289141\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289141","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T08:09:15Z","timestamp":1585901355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00289141"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,5]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1984,5]]}},"alternative-id":["BF00289141"],"URL":"https:\/\/doi.org\/10.1007\/bf00289141","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,5]]}}}