{"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":1742635958867,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"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_14","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:17:14Z","timestamp":1330193834000},"page":"234-258","source":"Crossref","is-referenced-by-count":6,"title":["The residue of vector sets with applications to decidability problems in petri nets"],"prefix":"10.1007","author":[{"given":"R\u00fcdiger","family":"Valk","sequence":"first","affiliation":[]},{"given":"Matthias","family":"Jantzen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"14_CR1","volume-title":"Operating System Principles","author":"P. Brinch Hansen","year":"1973","unstructured":"P. Brinch Hansen: Operating System Principles, Prentice-Hall Inc, Englewood Cliffs (1973)"},{"key":"14_CR2","unstructured":"G. W. Brams R\u00e9seaux de Petri: Th\u00e9orie et pratique Masson, Paris (1983)"},{"key":"14_CR3","first-page":"349","volume":"17","author":"H. D. Burkhard","year":"1981","unstructured":"H. D. Burkhard: Two Pumping Lemmata for Petri nets, EIK, vol 17 (1981) 349\u2013362","journal-title":"EIK"},{"key":"14_CR4","unstructured":"H. W. Byrn: Sequential processes, deadlocks and semaphere primitives, Havard Univ., Tech. Rep. 7-75, Cambridge 1975"},{"key":"14_CR5","unstructured":"H. Carstensen: Fairne\u00df bei Petrinetzen mit unendlichem Verhalten. Univ. Hamburg, Fachbereich Informatik, Report B-93\/82 (1982)"},{"key":"14_CR6","unstructured":"J. H. Conway: Regular Algebra and Finite Machines, Chapman and Hall (1971)"},{"key":"14_CR7","unstructured":"H. Carstensen, R. Valk: Infinite behaviour and fairness in Petri nets. Fourth European Workshop on Application and Theory of Petri Nets, Toulouse, France (1983)"},{"key":"14_CR8","first-page":"43","volume-title":"Co-operating sequential Processes","author":"E. W. Dijkstra","year":"1968","unstructured":"E. W. Dijkstra: Co-operating sequential Processes; in F. Genuys (ed): Programming Languages Academic Press, London (1968), 43\u2013112"},{"key":"14_CR9","first-page":"310","volume":"20","author":"E. Best","year":"1983","unstructured":"E. Best\/P. S. Thiagarajan, P24 (iii) in EATCS Bulletin 20 (1983) p 310","journal-title":"P24 (iii) in EATCS Bulletin"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0021-8693(69)90070-2","volume":"13","author":"S. Eilenberg","year":"1969","unstructured":"S. Eilenberg, M. P. Sch\u00fctzenberger: Rational sets in communicative monoids, J. Algebra 13 (1969), 173\u2013191","journal-title":"J. Algebra"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/3-540-08921-7_69","volume-title":"Facts in place\/transition-nets","author":"H. J. Genrich","year":"1978","unstructured":"H. J. Genrich, K. Lautenbach: Facts in place\/transition-nets; Lecture Notes in Computer Science No 64, Springer-Verlag, Berlin (1978), 213\u2013231"},{"key":"14_CR12","first-page":"207","volume":"16","author":"J. Grabowski","year":"1980","unstructured":"J. Grabowski: Linear methods in the Theory of Vector addition systems I, EIK, vol 16 (1980) 207\u2013236","journal-title":"EIK"},{"key":"14_CR13","unstructured":"M. Hack: Petri net languages, MIT, Proj. MAC, Comp. Struct. Group Memo 124 (1975)"},{"key":"14_CR14","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(76)90008-6","volume":"2","author":"M. Hack","year":"1976","unstructured":"M. Hack: The equality problem for vector addition systems is undecidable; Theoret. Computer Sci. 2 (1976), 77\u201395","journal-title":"Theoret. Computer Sci."},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","first-page":"165","volume-title":"Net Theory and Applications","author":"M. Jantzen","year":"1979","unstructured":"M. Jantzen, R. Valk: Formal properties of place\/transition nets, in: W. Brauer (ed), Net Theory and Applications, Lecture Notes in Computer Science No 84, Springer Verlag, Berlin (1979), 165\u2013212"},{"key":"14_CR16","unstructured":"R.M. Keller: Vector Replacement Systems: A Formalism for Modeling Asynchronous Systems, Comp. Sci. Lab., Princeton Univ., Techn. Rep. 117 (1972, revised 1974)."},{"key":"14_CR17","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"R. M. Karp","year":"1969","unstructured":"R.M. Karp, R.E. Miller: Parallel Program Schemata. Journ. Computer Systems Sci.; 3 (1969), 147\u2013195","journal-title":"Journ. Computer Systems Sci."},{"key":"14_CR18","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1007\/BF01691063","volume":"3","author":"L. H. Landweber","year":"1969","unstructured":"L.H. Landweber: Decision problems for \u03c9-automata, Math. Systems Theory 3 (1969), 376\u2013384","journal-title":"Math. Systems Theory"},{"key":"14_CR19","unstructured":"R.J. Lipton: The Reachability Problem Requires Exponential Space. Yale Univ., Dept. of Comp. Sci., Research Report # 62 (1976)"},{"key":"14_CR20","unstructured":"M. Nivat, A. Arnold: Comportements de processur, Lab. Informatique Th\u00e9or. et Programm., Univ. Paris 6 and 7, Paris (1982)"},{"key":"14_CR21","unstructured":"S.S. Patil, P.S. Thiagarajan: unpublished manuscript"},{"key":"14_CR22","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(78)90036-1","volume":"6","author":"C. Rackoff","year":"1978","unstructured":"C. Rackoff: The Covering and Boundedness Problems for Vector Addition Systems, Theoretical Comp. Sci. 6 (1978), 223\u2013231","journal-title":"Theoretical Comp. Sci."},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"R. Schroff: Vermeidung von totalen Verklemmungen in bewerteten Petrinetzen, Ph.D. Theses, Techn. Univ. M\u00fcnchen (1974)","DOI":"10.1007\/978-3-662-40087-6_27"},{"key":"14_CR24","series-title":"Lecture Notes in Computer Sci.","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1007\/978-3-662-40087-6_27","volume-title":"Vermeidung von Verklemmungen in bewerteten Petrinetzen","author":"R. Schroff","year":"1975","unstructured":"R. Schroff: Vermeidung von Verklemmungen in bewerteten Petrinetzen, Lecture Notes in Computer Sci. No. 26, Springer-Verlag, Berlin (1975), 316\u2013325"},{"key":"14_CR25","unstructured":"R. Valk: Pr\u00e9vention des bloquages aux syst\u00e8mes paralleles, Lecture notes, Univ. Paris VI (1976)"},{"issue":"3","key":"14_CR26","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0304-3975(83)90115-9","volume":"25","author":"R. Valk","year":"1983","unstructured":"R. Valk: Infinite behaviour of Petri nets. Theor. Computer Sci. 25 (1983) 3, 311\u2013341","journal-title":"Theor. Computer Sci."},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"R. Valk, M Jantzen: The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets, Report IfI-HH-101\/84, Fachbereich Informatik, Univ. Hamburg (1984)","DOI":"10.1007\/3-540-15204-0_14"},{"issue":"3","key":"14_CR28","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0022-0000(81)90067-2","volume":"23","author":"R. Valk","year":"1981","unstructured":"R. Valk, G. Vidal-Naquet: Petri Nets and Regular Languages, Journ. of Computer and System Sciences 23 (1981) 3, 299\u2013325","journal-title":"Journ. of Computer and System Sciences"}],"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_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:22:08Z","timestamp":1742588528000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15204-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540152040","9783540393207"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-15204-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}