{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:04Z","timestamp":1725663844170},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558958"},{"type":"electronic","value":"9783540473060"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55895-0_409","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:40:46Z","timestamp":1330252846000},"page":"145-156","source":"Crossref","is-referenced-by-count":3,"title":["Invariance properties in distributed systems"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"Schepers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"unstructured":"Baker, H.G.; Rabin's proof of the undecidability of the reachability set inclusion problem of vector addition systems; Computation Structures Group Memo 1979; Project MAC; M.I.T. July 1973","key":"19_CR1"},{"doi-asserted-by":"crossref","unstructured":"Barringer, H.; A survey of verification techniques for parallel programs; LNCS 191, Springer 1986","key":"19_CR2","DOI":"10.1007\/3-540-15239-3"},{"key":"19_CR3","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S. D. Brookes","year":"1984","unstructured":"Brookes, S.D.; Hoare, C.A.R.; Roscoe, A.W.; A theory of communicating sequential processes; Jour. of the ACM, 1984, Vol. 31, pp. 560\u2013599","journal-title":"Jour. of the ACM"},{"doi-asserted-by":"crossref","unstructured":"Broy, M.; Bauer, F.L.; A systematic approach to language constructs for concurrent programs; Science of Computer Programming, 4, 1984, pp. 103\u2013139 North Holland","key":"19_CR4","DOI":"10.1016\/0167-6423(84)90016-9"},{"unstructured":"Esparza, J.; Silva, M.; A polynomial-time algorithm to decide liveness of bounded free-choice nets; Internal Report, June 1989","key":"19_CR5"},{"doi-asserted-by":"crossref","unstructured":"Genrich, H.J.; Lautenbach, K.; The analysis of distributed systems by means of Predicate\/Transition nets; in Semantics on concurrent computation LNCS 70; Springer 1979","key":"19_CR6","DOI":"10.1007\/BFb0022467"},{"doi-asserted-by":"crossref","unstructured":"Genrich, H.J.; Lautenbach, K.; Thiagarajan, P.S.; Elements of general net theory, in Net theory and applications (ed. W. Bauer), pp. 21\u2013164; LNCS 84; Springer 1980","key":"19_CR7","DOI":"10.1007\/3-540-10001-6_22"},{"doi-asserted-by":"crossref","unstructured":"Hack, M.; The recursive equivalence of the reachability problem and the liveness problem for Pelri nets and vector addition systems; Proc. 15th Ann. Symp. Switching and Automata, IEEE, 1974","key":"19_CR8","DOI":"10.1109\/SWAT.1974.28"},{"unstructured":"Hack, M.; Decidability questions for petri nets; MIT Technical Report 161, June 1976","key":"19_CR9"},{"doi-asserted-by":"crossref","unstructured":"Jensen, K.; How to find invariants for coloured Petri nets; LNCS 118, Springer, 1981, pp. 327\u2013338","key":"19_CR10","DOI":"10.1007\/3-540-10856-4_100"},{"unstructured":"Jensen, K.; Coloured Petri-nets; Advances in Petri Nets, Part I, LNCS 254, Springer 1986","key":"19_CR11"},{"issue":"No.6","key":"19_CR12","first-page":"1390","volume":"14","author":"R. M. Karp","year":"1966","unstructured":"Karp, R.M.; Miller, R.E.; Properties of a model for parallel computations: Determinacy, Termination, Queueing; SIAM, Vol. 14, No. 6, 1966, pp. 1390\u20131411","journal-title":"SIAM"},{"issue":"Nr.3","key":"19_CR13","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1145\/322077.322079","volume":"25","author":"L. Landweber","year":"1978","unstructured":"Landweber, L.; Robertson, E.; Properties of conflict-free and persistent Petri-nets; Journal of the ACM, Vol. 25, Nr. 3, 1978, pp. 352\u2013364","journal-title":"Journal of the ACM"},{"unstructured":"Millier, R.; A Calculus of Communicating Systems; LNCS 92, Springer 1980","key":"19_CR14"},{"doi-asserted-by":"crossref","unstructured":"Murata, T.; Petri nets: properties, analysis and applications; Proc. of the IEEE, Vol. 77, No.4, 1989","key":"19_CR15","DOI":"10.1109\/5.24143"},{"doi-asserted-by":"crossref","unstructured":"Olderog, E.R.; Process theory: semantics, specification and verification; LNCS 224, pp. 442\u2013509, Springer, 1986","key":"19_CR16","DOI":"10.1007\/BFb0027046"},{"unstructured":"Pantke, S.; Semantische Analyse von GRAPH Proze\u03b2systemen; Master Thesis, Univ. of Kiel, 1990","key":"19_CR17"},{"doi-asserted-by":"crossref","unstructured":"Peterson, J.L.; Petri Nets; ACM Computing Surveys, 1977, Vol. 9, No. 3","key":"19_CR18","DOI":"10.1145\/356698.356702"},{"doi-asserted-by":"crossref","unstructured":"Reisig, W.; Petrinetze; Springer 1986","key":"19_CR19","DOI":"10.1007\/978-3-642-71275-3"},{"doi-asserted-by":"crossref","unstructured":"Sacerdote, G.; Tenney, R.L.; The decidability of the reachability problem for vector addition systems; 1976","key":"19_CR20","DOI":"10.1145\/800105.803396"},{"unstructured":"Schepers, J.; GRAPH \u2014 Eine auf Petri-Netzen basierende Entwicklungsumgebung f\u00fcr verteilte Systeme; PhD Thesis, University of Kiel, 1990","key":"19_CR21"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing: CONPAR 92\u2014VAPP V"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55895-0_409.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:01:58Z","timestamp":1605646918000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55895-0_409"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540558958","9783540473060"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-55895-0_409","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}