{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:53Z","timestamp":1725663353860},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540129202"},{"type":"electronic","value":"9783540388050"}],"license":[{"start":{"date-parts":[[1984,1,1]],"date-time":"1984-01-01T00:00:00Z","timestamp":441763200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-12920-0_14","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:58:21Z","timestamp":1330174701000},"page":"151-162","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Blocage et vivacit\u00e9 dans les r\u00e9seaux a pile-file"],"prefix":"10.1007","author":[{"given":"A.","family":"Finkel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"14_CR1","volume-title":"Graphes et hypergraphes","author":"C. Berge","year":"1970","unstructured":"C. BERGE. \u2014 \"Graphes et hypergraphes\" \u2014 Dunod, Paris 1970."},{"key":"14_CR2","unstructured":"J. BERSTEL, D. PERRIN, M.P. SCHUTZENBERGER. \u2014 \"Th\u00e9orie des codes\" \u2014 rapport LITP no 82\u201333."},{"key":"14_CR3","volume-title":"R\u00e9seaux de P\u00e9tri: th\u00e9orie et pratique","author":"G. W. Brams","year":"1982","unstructured":"G.W. BRAMS. \u2014 \"R\u00e9seaux de P\u00e9tri: th\u00e9orie et pratique\" (tome 1) \u2014 Masson, Paris (1982)."},{"key":"14_CR4","unstructured":"F. COMMONER. \u2014 \"Deadlocks in Petri nets\" CA-7206-2311, Applied Data Research, Wakefield, Mess, June 1972."},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"F. COMMONER, A. HOLT, S. EVEN, A. PNUELI. \u2014 \"Marked directed graphs\" \u2014 JCSS octobre 1971.","DOI":"10.1016\/S0022-0000(71)80013-2"},{"key":"14_CR6","unstructured":"A. FINKEL. \u2014 \"Deux classes de r\u00e9seaux \u00e0 file: les r\u00e9seaux monog\u00e8nes et les r\u00e9seaux pr\u00e9fixes\" \u2014 Th\u00e8se de 3o cycle \u2014 Paris VII (octobre 1982) \u2014 rapport LITP no 83\u20133."},{"key":"14_CR7","unstructured":"A. FINKEL, G. MEMMI. \u2014 \"FIFO Nets: a new model of computation\" \u2014 Proc. of the 6th. G.I. Conf. on Theor. Comp. Sc. \u2014 Dortmund, L.N.C.S. 150 Springer Verlag (janvier 1983)."},{"key":"14_CR8","unstructured":"A. FINKEL, G. ROUCAIROL. \u2014 \"La vivacit\u00e9 d'un r\u00e9seau \u00e0 file \u00e9quilibr\u00e9e\" anusc (manuscript)."},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"M.P. FLE, G. ROUCAIROL. \u2014 \"On serializability of iterated transactions\" ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Ottawa, Canada (1982).","DOI":"10.1145\/800220.806697"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"R.M. KARP, R.E. MILLER. \u2014 \"Parallel program schemata\" JCSS 3(4) (1969).","DOI":"10.1016\/S0022-0000(69)80011-5"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Y.E. LIEN. \u2014 \"A note on transition systems\" K. Inf. Sciences 1976 vol 10 no 4.","DOI":"10.1016\/0020-0255(76)90054-2"},{"issue":"3","key":"14_CR12","first-page":"635","volume":"13","author":"R. Martin","year":"1981","unstructured":"R. MARTIN, G. MEMMI. \u2014 \"Sp\u00e9cification et validation de syst\u00e8mes temps r\u00e9el \u00e0 l'aide de r\u00e9seaux de Petri \u00e0 files\". \u2014 Revue Technique THOMSON-CSF, vol. 13, no 3, pp. 635\u2013653 (september 1981).","journal-title":"Revue Technique THOMSON-CSF"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"G. MEMMI. \u2014 \"Fuites et semi-flots dans les r\u00e9seaux de P\u00e9tri\" \u2014 Th\u00e8se de Docteur Ing\u00e9nieur \u2014 Paris VI (1978).","DOI":"10.1051\/ita\/1978120201251"},{"key":"14_CR14","unstructured":"G. MEMMI. \u2014 \"M\u00e9thode d'analyse des r\u00e9seaux de P\u00e9tri, r\u00e9seaux \u00e0 files et applications aux syst\u00e8mes temps r\u00e9el\". \u2014 Th\u00e8se d'Etat \u2014 Paris VI (1983)."},{"key":"14_CR15","volume-title":"Petri net theory and the modelling of systems","author":"J. Peterson","year":"1981","unstructured":"J. PETERSON. \u2014 \"Petri net theory and the modelling of systems\" \u2014 Prentice Hall INC, Englewood Cliffs, N.J. 07632 (1981)."},{"key":"14_CR16","unstructured":"G. ROUCAIROL. \u2014 \"Mots de synchronisation\" \u2014 RAIRO, Inf. vol. 12, no 4 (1978)."},{"key":"14_CR17","unstructured":"A. SACHE. \u2014 \"La Th\u00e9orie des graphes\" \u2014 PUF no 1554 (1975)."},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"R. VALK, G. VIDAL-NAQUET. \u2014 \"Petri nets and regular languages\" \u2014 JCSS vol. 23 no 3, (d\u00e9cembre 1981).","DOI":"10.1016\/0022-0000(81)90067-2"}],"container-title":["Lecture Notes in Computer Science","STACS 84"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12920-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:06:58Z","timestamp":1558253218000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12920-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540129202","9783540388050"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-12920-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]},"assertion":[{"value":"29 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}