{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:01Z","timestamp":1725663301927},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540127277"},{"type":"electronic","value":"9783540387145"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-12727-5_7","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:55:05Z","timestamp":1330174505000},"page":"141-154","source":"Crossref","is-referenced-by-count":14,"title":["Some equivalence results for free choice nets and simple nets and on the periodicity of live free choice nets"],"prefix":"10.1007","author":[{"given":"E.","family":"Best","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. W.","family":"Shields","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0304-3975(82)90020-2","volume":"18","author":"E. Best","year":"1982","unstructured":"E. Best: Adequacy Properties of Path Programs. TCS Vol. 18, pp. 149\u2013171 (1982).","journal-title":"TCS"},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1007\/3-540-10001-6_39","volume":"84","author":"H. J. Genrich","year":"1980","unstructured":"H.J. Genrich and E. Stankiewicz-Wiechno: A Dictionary of Some Basic Notions of Net Theory. Lecture Notes in Computer Science Vol. 84, pp. 519\u2013535 (1980).","journal-title":"Lecture Notes in Computer Science"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"H.J. Genrich and P.S. Thiagarajan: A Theory for Bipolar Synchronisation Schemes. Computer Sc. Dep., \u00c5rhus University, DAIMI PB-158 (March 1983).","DOI":"10.7146\/dpb.v12i158.7432"},{"key":"7_CR4","unstructured":"M.H.T. Hack: Analysis of Production Schemata By Petri Nets. TR-94, Project MAC, MIT, Boston (February 1972). Corrected June 1974."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"M. Jantzen and R. Valk: Formal Properties of Place\/Transition Nets. Lecture Notes in Computer Science Vol. 84, pp. 165\u2013212.","DOI":"10.1007\/3-540-10001-6_23"},{"key":"7_CR6","unstructured":"P.E. Lauer, M.W. Shields and E. Best: Formal Theory of the Basic COSY Notation. TR 143, Computing Laboratory, Univ. of Newcastle upon Tyne (November 1979)."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"R. Milner: A Calculus of Communicating Systems. Lecture Notes in Computer Science Vol. 92 (1980).","DOI":"10.1007\/3-540-10235-3"},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/BFb0022473","volume":"70","author":"M. W. Shields","year":"1979","unstructured":"M.W. Shields: Adequate Path Expression. Lecture Notes in Computer Science Vol. 70, pp. 249\u2013265 (1979).","journal-title":"Lecture Notes in Computer Science"},{"key":"7_CR9","unstructured":"M.W. Shields: On the Non-Sequential Behaviour of Systems Possessing a Generalised Free Choice Property. Internal Report CRS-92-81, Edinburgh University (September 1981). Also to appear in TCS."},{"key":"7_CR10","unstructured":"M.W. Shields: Non Sequential Behaviour 1. Internal Report CRS-120-82, Edingburgh University (September 1982)."},{"key":"7_CR11","unstructured":"P.S. Thiagarajan and K. Voss: Private Communication."}],"container-title":["Lecture Notes in Computer Science","CAAP'83"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12727-5_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:06:16Z","timestamp":1605625576000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12727-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540127277","9783540387145"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-12727-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}