{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:08Z","timestamp":1725663188116},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540152040"},{"type":"electronic","value":"9783540393207"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15204-0_24","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:17:39Z","timestamp":1330193859000},"page":"438-454","source":"Crossref","is-referenced-by-count":2,"title":["In praise of free choice nets"],"prefix":"10.1007","author":[{"given":"P. S.","family":"Thiagarajan","sequence":"first","affiliation":[]},{"given":"K.","family":"Voss","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Best, E.; Shields, M.W.: Some Equivalence Results for Free Choice and Simple Nets and on the Periodicity of Live Free Choice Nets. Proc. CAAP 83, 8th Colloquium on Trees in Algebra and Programming, L'Aquila, March 9\u201311, 1983, 14 pp.","DOI":"10.1007\/3-540-12727-5_7"},{"key":"24_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Net Theory and Applications","year":"1980","unstructured":"Brauer, W. (ed.): Net Theory and Applications. Lecture Notes in Computer Science 84. Springer-Verlag, Berlin Heidelberg New York, 1980"},{"key":"24_CR3","unstructured":"Commoner, F.: Deadlocks in Petri Nets. Wakefield, Applied Data Research Inc., CA-7206-2311, 1972"},{"key":"24_CR4","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. Computer and System Science 5, 1971, pp. 511\u2013523","journal-title":"J. Computer and System Science"},{"key":"24_CR5","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BF00264027","volume":"2","author":"H. J. Genrich","year":"1973","unstructured":"Genrich, H.J.; Lautenbach, K.: Synchronisationsgraphen. Acta Informatica 2, 1973, pp. 143\u2013161","journal-title":"Acta Informatica"},{"key":"24_CR6","first-page":"519","volume-title":"Lecture Notes in Computer Science 84","author":"H. J. Genrich","year":"1980","unstructured":"Genrich, H.J.; Stankiewicz-Wiechno, E.: A Dictionary of some Basic Notions of Net Theory. In pp. 519\u2013535"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Genrich, H.J.; Thiagarajan, P.S.: A Theory of Bipolar Synchronisation Schemes. Report DAIMI PB-158, Aarhus University, March 1983, 130 pp. Also to appear in TCS.","DOI":"10.7146\/dpb.v12i158.7432"},{"key":"24_CR8","volume-title":"Analysis of Production Schemata by Petri Nets","author":"M. H. T. T. Hack","year":"1972","unstructured":"Hack, M.H.T.: Analysis of Production Schemata by Petri Nets. Project MAC, Massachusetts Institute of Technology. Cambridge, Massachusetts, Feb. 1972, 119 pp."},{"key":"24_CR9","volume-title":"Final Report for the Project \u2018Development of the Theoretical Foundations for Description and Analysis of Discrete Information Systems'","author":"A. W. Holt","year":"1974","unstructured":"Holt, A.W.: Final Report for the Project \u2018Development of the Theoretical Foundations for Description and Analysis of Discrete Information Systems'. Wakefield, Mass., Massachusetts Computer Associates Inc., 20.5.1974"},{"key":"24_CR10","first-page":"165","volume-title":"Lecture Notes in Computer Science 84","author":"M. Jantzen","year":"1980","unstructured":"Jantzen, M.; Valk, R.: Formal Properties of Place\/Transition Nets. In pp. 165\u2013212"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Queille, J.P.; Sifakis, J.: A Temporal Logic to Deal with Fairness in Transition Systems. Proc. of 23. FoCS, 1982, pp. 217\u2013225. Also to appear in Acta Informatica.","DOI":"10.1109\/SFCS.1982.57"},{"key":"24_CR12","unstructured":"Shields, M.W.: On the Non-Sequential Behaviour of Systems Possessing a Generalised Free Choice Property. Internal Report CRS-92-81, Edinburgh University, Sept. 1981."},{"key":"24_CR13","unstructured":"Thiagarajan, P.S.; Voss, K.: A Fresh Look at Free Choice Nets. Arbeitspapiere der GMD, Nr. 58, St. Augustin, Oct. 1983, 42 pp. Also to appear in Information and Control."}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1984"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15204-0_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:17Z","timestamp":1605643697000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15204-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540152040","9783540393207"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-15204-0_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}