{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T20:13:30Z","timestamp":1784837610153,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540180883","type":"print"},{"value":"9783540477471","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18088-5_43","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:27:43Z","timestamp":1330198063000},"page":"499-508","source":"Crossref","is-referenced-by-count":30,"title":["A generalization of the procedure of karp and miller to well structured transition systems"],"prefix":"10.1007","author":[{"given":"Alain","family":"Finkel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"43_CR1","unstructured":"G. Birkhoff \"Lattice theory\" AMS Publ., Providence (3rd ed. 1967)."},{"key":"43_CR2","unstructured":"G.W. Brams \"R\u00e9seaux de Petri: theorie et pratique\" T.1. Edition Masson (1983)."},{"key":"43_CR3","unstructured":"A. Choquet and A. Finkel \"Simulation of linear Fifo nets by a new class of Petri nets\" Rapport LRI no324, Univ. Paris 11, Orsay (January 1987)."},{"key":"43_CR4","doi-asserted-by":"crossref","first-page":"413","DOI":"10.2307\/2370405","volume":"35","author":"L. E. Dickson","year":"1913","unstructured":"L.E. Dickson \"Finiteness of the odd perfect and primitive abundant numbers with n distinct prime factors\", Amer. J. Math. 35 pp.413\u2013422 (1913).","journal-title":"Amer. J. Math."},{"key":"43_CR5","unstructured":"A. Finkel \"Structuration des syst\u00e8mes de transitions: applications au contr\u00f4le du parall\u00e9lisme par files Fifo\" Th\u00e8se d'Etat Universit\u00e9 d'Orsay (17 June 1986)."},{"key":"43_CR6","doi-asserted-by":"crossref","unstructured":"M.G. Gouda and L.E. Rosier \"Synchronisable networks of communicating finite state machines\" report, the University of Texas at Austin (1985).","DOI":"10.1137\/0214042"},{"key":"43_CR7","volume-title":"\"Petri net language\" Comp. Struct. Group Memo 124","author":"M. Hack","year":"1975","unstructured":"M. Hack \"Petri net language\" Comp. Struct. Group Memo 124, Project MAC, Massachusetts Inst. of Techn. Cambridge, Massachussets (June 1975)."},{"key":"43_CR8","unstructured":"M. Hack \"Decidability questions for Petri nets\", MIT, LCS, TR 161, Cambridge, MA, (1976)."},{"key":"43_CR9","doi-asserted-by":"crossref","unstructured":"G. Higman \"Ordering by divisibility in abstract algebras\" Proc. London Math. Soc. 2 (1952).","DOI":"10.1112\/plms\/s3-2.1.326"},{"key":"43_CR10","doi-asserted-by":"crossref","unstructured":"R.M. Karp and R.E. Miller \"Parallel program schemata\" J.C.S.S. (4) pp.147\u2013195 (1969).","DOI":"10.1016\/S0022-0000(69)80011-5"},{"key":"43_CR11","first-page":"285","volume":"25","author":"T. Kasai","year":"1982","unstructured":"T. Kasai and R.E. Miller \"Homomorphisms between models of parallel computation\" J.C.S.S. 25 pp.285\u2013331 (1982).","journal-title":"J.C.S.S."},{"key":"43_CR12","unstructured":"R.M. Keller \"Vector replacement systems: a formalism for modeling asynchronous systems\" Princeton Univ., Tech. Rep. no117 (1972)."},{"issue":"7","key":"43_CR13","first-page":"371","volume":"19","author":"R. M. Keller","year":"1976","unstructured":"R.M. Keller \"Formal verification of parallel program\" Comm. of the A.C.M. Vol.19 no7 pp.371\u2013384 (May 1976).","journal-title":"Comm. of the A.C.M."},{"key":"43_CR14","doi-asserted-by":"crossref","unstructured":"S.R. Kosaraju \"Decidability of reachability in vector addition systems\" dans Proc. 14th Ann. ACM Symp. on Theo. of Comp. (1982).","DOI":"10.1145\/800070.802201"},{"key":"43_CR15","doi-asserted-by":"crossref","unstructured":"J.B. Kruskal \"The theory of well-quasi-ordering: a frequently rediscovered concept\" J.C.T. (A) 13 (1972).","DOI":"10.1016\/0097-3165(72)90063-5"},{"key":"43_CR16","doi-asserted-by":"crossref","unstructured":"G. Memmi and A. Finkel \"An introduction to Fifo nets \u2014 monogeneous nets: a subclass of Fifo nets\" T.C.S. 35 (1985).","DOI":"10.1016\/0304-3975(85)90014-3"},{"key":"43_CR17","unstructured":"J.L. Peterson \"Petri net theory and the modelling of systems\" Prentice-Hall, (1981)."},{"issue":"1","key":"43_CR18","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0304-3975(86)90110-6","volume":"44","author":"L. E. Rosier","year":"1986","unstructured":"L.E. Rosier and H.C. Yen \"Boundedness, empty channel detection, and synchronisation for communicating finite automata\" T.C.S. 44 (1) pp 69\u2013106 (1986).","journal-title":"T.C.S."},{"key":"43_CR19","doi-asserted-by":"crossref","unstructured":"R. Valk and M. Jantzen \"The residue of vector sets with applications to decidability problems in Petri nets\" Acta Informatica 21 (1985).","DOI":"10.1007\/BF00289715"},{"key":"43_CR20","unstructured":"G.Vidal-Naquet \"Rationalit\u00e9 et d\u00e9terminisme dans les r\u00e9seaux de Petri\" Th\u00e8se d'Etat Univ. Paris 6, (April 1981)."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18088-5_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:14:10Z","timestamp":1605644050000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18088-5_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540180883","9783540477471"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-18088-5_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987]]}}}