{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:32:38Z","timestamp":1742635958733},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540152040"},{"type":"electronic","value":"9783540393207"}],"license":[{"start":{"date-parts":[[1985,1,1]],"date-time":"1985-01-01T00:00:00Z","timestamp":473385600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15204-0_4","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:17:30Z","timestamp":1330193850000},"page":"48-61","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Frozen tokens and D-continuity: A study in relating system properties to process properties"],"prefix":"10.1007","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[]},{"given":"Agathe","family":"Merceron","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"crossref","first-page":"77","DOI":"10.3233\/FI-1980-3107","volume":"3","author":"E. Best","year":"1980","unstructured":"E. Best: A Theorem on the Characteristics of Non-sequential Processes. Fundamenta Informaticae Vol. 3(1), 77\u201394 (1980).","journal-title":"Fundamenta Informaticae"},{"unstructured":"E.Best: The Relative Strength of K-density. In [6].","key":"4_CR2"},{"unstructured":"E.Best: Concurrent Behaviour: Sequences, Processes and Axioms. Arbeitspapiere der GMD No.118 (1984), also in Proc. of CMU Workshop on Concurrency (1984).","key":"4_CR3"},{"unstructured":"E.Best and A.Merceron: Concurrency Axioms and D-continuous Posets. In this Volume.","key":"4_CR4"},{"unstructured":"G.W.Brams: R\u00e9seaux de Petri: Th\u00e9orie & Pratique, Masson-Paris (1982).","key":"4_CR5"},{"doi-asserted-by":"crossref","unstructured":"W.Brauer (ed.): Net Theory and Applications. denotes Springer Lecture Notes in Computer Science Vol.84 (1980).","key":"4_CR6","DOI":"10.1007\/3-540-100016"},{"key":"4_CR7","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0304-3975(83)90070-1","volume":"28","author":"C. Fern\u00e1ndez","year":"1984","unstructured":"C. Fern\u00e1ndez and P.S. Thiagarajan: D-continuous Causal Nets: A Model of Non-sequential Processes. TCS Vol.28, 171\u2013196 (1984).","journal-title":"TCS"},{"key":"4_CR8","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0304-3975(84)90137-3","volume":"30","author":"H. J. Genrich","year":"1984","unstructured":"H.J. Genrich and P.S. Thiagarajan: A Theory of Bipolar Synchronisation Schemes. TCS Vol.30, 241\u2013318 (1984).","journal-title":"TCS"},{"issue":"2\u20133","key":"4_CR9","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Goltz","year":"1983","unstructured":"U. Goltz and W. Reisig: The Non-sequential Behaviour of Place\/Transition Nets. Information and Control, Vol.57 (2\u20133), 125\u2013147 (1983).","journal-title":"Information and Control"},{"unstructured":"A. Merceron: A Study of some Dependencies between a Concurrent System and its Processes, applied to Petri Nets. 1st International Conference on Computers and Applications, Bei-Jing (Peking) (1984).","key":"4_CR10"},{"unstructured":"W.M.Lu and A.Merceron: On the Meaning of Frozen Tokens. Report in preparation.","key":"4_CR11"},{"unstructured":"M.W.Lu and A.Merceron: The Equivalence between the Well Behaved Bipolar Schemes and the Live and Safe Free Choice Nets without Frozen Tokens. 5th Petri Net Workshop, \u00c5rhus (1984).","key":"4_CR12"},{"unstructured":"C.A.Petri: Non-sequential Processes. GMD-ISF Report 77.05 (1977).","key":"4_CR13"},{"issue":"12","key":"4_CR14","doi-asserted-by":"crossref","first-page":"979","DOI":"10.1007\/BF02084163","volume":"21","author":"C. A. Petri","year":"1982","unstructured":"C.A.Petri: Concurrency. In [6]. Also: C.A. Petri: State\/Transition Structures in Physics and in Computation. Int. Journal on Theoretical Physics, Vol.21(12), 979\u2013992 (1982).","journal-title":"Int. Journal on Theoretical Physics"},{"doi-asserted-by":"crossref","unstructured":"W.Reisig: Petrinetze. Springer Verlag (1982).","key":"4_CR15","DOI":"10.1007\/978-3-642-96705-4"},{"unstructured":"M.W.Shields: Some Theorems on Adequacy-Preserving Substitutions. ASM\/51, Computing Laboratory, University of Newcastle upon Tyne (1978).","key":"4_CR16"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1984"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15204-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T01:34:12Z","timestamp":1640914452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15204-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540152040","9783540393207"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-15204-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]},"assertion":[{"value":"30 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}