{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:21Z","timestamp":1725663801941},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540566892"},{"type":"electronic","value":"9783540476313"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56689-9_38","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:26:37Z","timestamp":1330255597000},"page":"26-50","source":"Crossref","is-referenced-by-count":0,"title":["Bounded self-stabilizing Petri nets"],"prefix":"10.1007","author":[{"given":"Ludmila","family":"Cherkasova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodney R.","family":"Howell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louis E.","family":"Rosier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,6]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","first-page":"845","DOI":"10.1109\/12.24293","volume":"38","author":"G. Brown","year":"1989","unstructured":"G. Brown, M. Gouda, and C. Wu. Token systems that self-stabilize. IEEE Trans. on Computers, 38:845\u2013852, 1989.","journal-title":"IEEE Trans. on Computers"},{"key":"2_CR2","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1145\/63264.63403","volume":"11","author":"J. Burns","year":"1989","unstructured":"J. Burns and J. Pachl. Uniform self-stabilizing rings. ACM Trans. on Programming Languages and Systems, 11:330\u2013344, 1989.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"2_CR3","doi-asserted-by":"crossref","first-page":"1432","DOI":"10.1109\/32.6188","volume":"14","author":"F. Bastani","year":"1988","unstructured":"F. Bastani, I. Yen, and I. Chen. A class of inherently fault tolerant distributed programs. IEEE Trans. on Software Engineering, 14:1432\u20131442, 1988.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"2_CR4","first-page":"41","volume-title":"EWD391 Self-stabilization in spite of distributed control, 1973","author":"E. Dijkstra","year":"1982","unstructured":"E. Dijkstra. EWD391 Self-stabilization in spite of distributed control, 1973. Reprinted in Selected Writings on Computing: A Personal Perspective, Springer-Verlag, Berlin, 1982, pp. 41\u201346."},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1145\/361179.361202","volume":"17","author":"E. Dijkstra","year":"1974","unstructured":"E. Dijkstra. Self stabilizing systems in spite of distributed control. Communications of the ACM, 17:643\u2013644, 1974.","journal-title":"Communications of the ACM"},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1007\/BF00264283","volume":"27","author":"M. Gouda","year":"1990","unstructured":"M. Gouda, R. Howell, and L. Rosier. The instability of self-stabilization. Acta Informatica, 27:697\u2013724, 1990.","journal-title":"Acta Informatica"},{"key":"2_CR7","unstructured":"M. Gouda. The stabilizing philosopher: Asymmetry by memory and by action, 1990. To appear in Science of Computer Programming."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"R. Howell, P. Jan\u010dar, and L. Rosier. Single-path Petri nets. In Proceedings of the 16 International Symposium on Mathematical Foundations of Computer Science, pages 202\u2013210, 1991. LNCS 520. To appear in Information and Computation.","DOI":"10.1007\/3-540-54345-7_63"},{"key":"2_CR9","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0020-0190(91)90004-2","volume":"39","author":"R. Howell","year":"1991","unstructured":"R. Howell. The complexity of problems concerning structurally bounded and conservative Petri nets. Information Processing Letters, 39:309\u2013315, 1991.","journal-title":"Information Processing Letters"},{"key":"2_CR10","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(79)90041-0","volume":"8","author":"J. Hopcroft","year":"1979","unstructured":"J. Hopcroft and J. Pansiot. On the reachability problem for 5-dimensional vector addition systems. Theoret. Comput. Sci., 8:135\u2013159, 1979.","journal-title":"Theoret. Comput. Sci."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"R. Howell and L. Rosier. Recent results on the complexity of problems related to petri nets. In G. Rozenberg, editor, Advances in Petri Nets 1987, pages 45\u201372. Springer, 1987. LNCS 266.","DOI":"10.1007\/3-540-18086-9_19"},{"key":"2_CR12","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/0022-0000(88)90013-X","volume":"37","author":"R. Howell","year":"1988","unstructured":"R. Howell and L. Rosier. Completeness results for conflict-free vector replacement systems. J. Comput. System Sci., 37:349\u2013366, 1988.","journal-title":"J. Comput. System Sci."},{"key":"2_CR13","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0020-0190(87)90089-5","volume":"25","author":"R. Howell","year":"1987","unstructured":"R. Howell, L. Rosier, and H. Yen. An O(n1.5) algorithm to decide boundedness for conflict-free vector replacement systems. Inform. Process. Lett., 25:27\u201333, 1987.","journal-title":"Inform. Process. Lett."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"R. Howell, L. Rosier, and H. Yen. Normal and sinkless Petri nets. In Proceedings, 7th International Conference on Fundamentals of Computation Theory, pages 234\u2013243, 1989. LNCS 380. To appear in J. Comput. System Sci.","DOI":"10.1007\/3-540-51498-8_22"},{"key":"2_CR15","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0304-3975(76)90068-2","volume":"3","author":"N. Jones","year":"1977","unstructured":"N. Jones and W. Laaser. Complete problems for deterministic polynomial time. Theoret. Comp. Sci., 3:105\u2013117, 1977.","journal-title":"Theoret. Comp. Sci."},{"key":"2_CR16","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/0304-3975(77)90014-7","volume":"4","author":"N. Jones","year":"1977","unstructured":"N. Jones, L. Landweber, and Y. Lien. Complexity of some problems in Petri nets. Theoret. Comput. Sci., 4:277\u2013299, 1977.","journal-title":"Theoret. Comput. Sci."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"R. Karp. Reducibility among combinatorial problems. In R. Miller and J. Thatcher, editors, Complexity of Computer Computations, pages 85\u2013103. Plenum Press, 1972.","DOI":"10.1007\/978-1-4684-2001-2_9"},{"key":"2_CR18","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/BF02579150","volume":"4","author":"N. Karmarkar","year":"1984","unstructured":"N. Karmarkar. A new polynomial-time algorithm for linear programming. Combinatorica, 4:373\u2013395, 1984.","journal-title":"Combinatorica"},{"key":"2_CR19","first-page":"1093","volume":"244","author":"L. Khachian","year":"1979","unstructured":"L. Khachian. A polynomial algorithm in linear programming. Dokl. Akad. Nauk. SSSR, 244:1093\u20131096, 1979. In Russian. English translation in Soviet Math. Dokl., 20:191\u2013194.","journal-title":"Dokl. Akad. Nauk. SSSR"},{"key":"2_CR20","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"R. Karp","year":"1969","unstructured":"R. Karp and R. Miller. Parallel program schemata. J. Comput. System Sci., 3:147\u2013195, 1969.","journal-title":"J. Comput. System Sci."},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"R. Kosaraju. Decidability of reachability in vector addition systems. In Proceedings, 14th ACM Symposium on Theory of Computing, pages 267\u2013280, 1982.","DOI":"10.1145\/800070.802201"},{"key":"2_CR22","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1145\/5383.5385","volume":"33","author":"L. Lamport","year":"1986","unstructured":"L. Lamport. The mutual exclusion problem: Part II \u2014 Statement and solutions. JACM, 33:327\u2013348, 1986.","journal-title":"JACM"},{"key":"2_CR23","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/3-540-50580-6_33","volume-title":"Advances in Petri Nets 1988","author":"J. Lambert","year":"1988","unstructured":"J. Lambert. Consequences of the decidability of the reachability problem for Petri nets. In G. Rozenberg, editor, Advances in Petri Nets 1988, pages 266\u2013282. Springer, Berlin, 1988. LNCS 340. An expanded version to appear in Theoret. Comput. Sci."},{"key":"2_CR24","unstructured":"R. Lipton. The reachability problem requires exponential space. Technical Report 62, Yale University, Dept. of CS., Jan. 1976."},{"key":"2_CR25","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1137\/0213029","volume":"13","author":"E. Mayr","year":"1984","unstructured":"E. Mayr. An algorithm for the general Petri net reachability problem. SIAM J. Comput., 13:441\u2013460, 1984. A preliminary version of this paper was presented at the \u201c13th ACM Symposium on Theory of Computing,\u201d 1981.","journal-title":"SIAM J. Comput."},{"key":"2_CR26","unstructured":"N. Multari. Self-stabilizing Protocols. PhD thesis, Dept. of Computer Sciences, University of Texas at Austin, 1989."},{"key":"2_CR27","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata. Petri nets: properties, analysis, and applications. Proc, of the IEEE, 77:541\u2013580, 1989.","journal-title":"Proc, of the IEEE"},{"key":"2_CR28","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. Theoret. Comput. Sci., 6:223\u2013231, 1978.","journal-title":"Theoret. Comput. Sci."},{"key":"2_CR29","unstructured":"M. Silva. Las Redes de Petri: en la Automatica y la Informatica. Editorial AC, Madrid, 1985. ISBN 84 7288 045 1."}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56689-9_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:05:21Z","timestamp":1605647121000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56689-9_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566892","9783540476313"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-56689-9_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}