{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:00:23Z","timestamp":1761487223713},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1985,3,1]],"date-time":"1985-03-01T00:00:00Z","timestamp":478483200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1985,3]]},"DOI":"10.1007\/bf00289715","type":"journal-article","created":{"date-parts":[[2004,10,5]],"date-time":"2004-10-05T05:00:10Z","timestamp":1096952410000},"page":"643-674","source":"Crossref","is-referenced-by-count":69,"title":["The residue of vector sets with applications to decidability problems in Petri nets"],"prefix":"10.1007","volume":"21","author":[{"given":"R\ufffddiger","family":"Valk","sequence":"first","affiliation":[]},{"given":"Matthias","family":"Jantzen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Operating System Principles","author":"P. Brinch Hansen","year":"1973","unstructured":"Brinch Hansen, P.: Operating System Principles. Englewood Cliffs: Prentice-Hall 1973"},{"key":"CR2","volume-title":"R\u00e9seaux de Petri: Th\u00e9orie et pratique","author":"G.W. Brams","year":"1983","unstructured":"Brams, G.W.: R\u00e9seaux de Petri: Th\u00e9orie et pratique. Paris: Masson 1983"},{"key":"CR3","first-page":"349","volume":"17","author":"H.D. Burkhard","year":"1981","unstructured":"Burkhard, H.D.: Two Pumping Lemmata for Petri nets. EIK 17, 349?362 (1981)","journal-title":"EIK"},{"key":"CR4","unstructured":"Byrn, H.W.: Sequential processes, deadlocks and semaphore primitives. Harvard Univ., Techn. Rep. 7-75, Cambridge 1975"},{"key":"CR5","unstructured":"Carstensen, H.: Fairne\u00df bei Petrinetzen mit unendlichem Verhalten. Univ. Hamburg, Fachbereich Informatik, Report B-93\/82 (1982)"},{"key":"CR6","volume-title":"Regular Algebra and Finite Machines","author":"J.H. Conway","year":"1971","unstructured":"Conway, J.H.: Regular Algebra and Finite Machines. London: Chapman and Hall 1971"},{"key":"CR7","unstructured":"Carstensen, H., Valk, R.: Infinite behaviour and fairness in Petri nets. Fourth European Workshop on Application and Theory of Petri Nets, Toulouse, France (1983)"},{"key":"CR8","first-page":"43","volume-title":"Programming Languages","author":"E.W. Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: Co-operating sequential Processes. In: Programming Languages 43?112 F. Genuys (ed.). Academic Press, London: 1968"},{"key":"CR9","first-page":"310","volume":"20","author":"E Best","year":"1983","unstructured":"Best, E, Thiagarajan, P.S.: P24 (iii). In: EATCS Bulletin 20, 310 (1983)","journal-title":"EATCS Bulletin"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0021-8693(69)90070-2","volume":"13","author":"S. Eilenberg","year":"1969","unstructured":"Eilenberg, S., Sch\u00fctzenberger, M.P.: Rational sets in communicative monoids. J. Algebra 13, 173?191 (1969)","journal-title":"J. Algebra"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Genrich, H.J., Lautenbach, K.: Facts in place\/transition-nets. Lect. Notes Comput. Sci. No 64, pp. 213?231. Berlin-Heidelberg-New York: Springer","DOI":"10.1007\/3-540-08921-7_69"},{"key":"CR12","first-page":"207","volume":"16","author":"J. Grabowski","year":"1980","unstructured":"Grabowski, J.: Linear methods in the Theory of Vector addition systems I. EIK 16, 207?236 (1980)","journal-title":"EIK"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Hack, M.: Decision Problems for Petri Nets and Vector Addition Systems. MIT, Proj. MAC, Comput. Struct. Group Memo 95-1 (1974)","DOI":"10.1109\/SWAT.1974.28"},{"key":"CR14","unstructured":"Hack, M.: Petri net languages. MIT, Proj. MAC, Comp. Struct. Group Memo 124 (1975)"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(76)90008-6","volume":"2","author":"M. Hack","year":"1976","unstructured":"Hack, M.: The equality problem for vector addition systems is undecidable. Theoret. Comput. Sci. 2, 77?95 (1976)","journal-title":"Theoret. Comput. Sci."},{"key":"CR16","unstructured":"Hauschildt, D., Valk, R.: Safe states in banker like resource allocation problems. Proc. 5th. European Workshop Appl. Theory of Petri Nets, Aarhus, 1984"},{"key":"CR17","series-title":"Lect. Notes Comput. Sci.","first-page":"165","volume-title":"Net Theory and Applications","author":"M. Jantzen","year":"1979","unstructured":"Jantzen, M., Valk, R.: Formal properties of place\/transition nets, In: Net Theory and Applications. W. Brauer (ed.), pp. 165?212. Lect. Notes Comput. Sci. No 84. Berlin-Heidelberg-New York: Springer 1979"},{"key":"CR18","unstructured":"Keller, R.M.: Vector Replacement Systems: A Formalism for Modelling Asynchronous Systems. Comput. Sci. Lab., Princeton Univ., Techn. Rep. 117 (1972, revised 1974)"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"R.M. Karp","year":"1969","unstructured":"Karp, R.M., Miller, R.E.: Parallel Program Schemata. J. Comput. Syst. Sci. 3, 147?195 (1969)","journal-title":"J. Comput. Syst. Sci."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1007\/BF01691063","volume":"3","author":"L.H. Landweber","year":"1969","unstructured":"Landweber, L.H.: Decision problems for ?-automata. Math. Syst. Theory 3, 376?384 (1969)","journal-title":"Math. Syst. Theory"},{"key":"CR21","unstructured":"Lipton, R.J.: The Reachability Problem Requires Exponential Space. Yale Univ., Dept. of Comp. Sci., Research Report #62 (1976)"},{"key":"CR22","volume-title":"Comportements de processus. Lab. Informatique Th\u00e9or. et Programm.","author":"M. Nivat","year":"1982","unstructured":"Nivat, M., Arnold, A.: Comportements de processus. Lab. Informatique Th\u00e9or. et Programm., Univ. Paris 6 and 7, Paris (1982)"},{"key":"CR23","unstructured":"Patil, S.S., Thiagarajan, P.S.: unpublished manuscript"},{"key":"CR24","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(78)90036-1","volume":"6","author":"C. Rackoff","year":"1978","unstructured":"Rackoff, C.: The Covering and Boundedness Problems for Vector Addition Systems. Theor. Comput. Sci. 6, 223?231 (1978)","journal-title":"Theor. Comput. Sci."},{"key":"CR25","volume-title":"Ph.D. Thesis","author":"R. Schroff","year":"1974","unstructured":"Schroff, R.: Vermeidung von totalen Verklemmungen in bewerteten Petrinetzen. Ph.D. Thesis, Techn. Univ. M\u00fcnchen (1974)"},{"key":"CR26","series-title":"Lect. Notes Comput. 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":"Schroff, R.: Vermeidung von Verklemmungen in bewerteten Petrinetzen. Lect. Notes Comput. Sci. No. 26, pp. 316?325 Berlin-Heidelberg-New York: Springer 1975"},{"key":"CR27","unstructured":"Valk, R.: Pr\u00e9vention des bloquages aux syst\u00e8mes paralleles, Lecture notes, Univ. Paris VI (1976)"},{"key":"CR28","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0304-3975(83)90115-9","volume":"25","author":"R. Valk","year":"1983","unstructured":"Valk, R.: Infinite behaviour of Petri nets. Theor. Comput. Sci. 25, 311?341 (1983)","journal-title":"Theor. Comput. Sci."},{"key":"CR29","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1016\/0022-0000(81)90067-2","volume":"23","author":"R. Valk","year":"1981","unstructured":"Valk, R., Vidal-Naquet, G.: Petri Nets and Regular Languages. J. Comput. Syst. Sci. 23, 299?325 (1981)","journal-title":"J. Comput. Syst. Sci."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289715.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00289715\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00289715","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T08:12:18Z","timestamp":1585901538000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00289715"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,3]]},"references-count":29,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1985,3]]}},"alternative-id":["BF00289715"],"URL":"https:\/\/doi.org\/10.1007\/bf00289715","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,3]]}}}