{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:13:35Z","timestamp":1725624815420},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540123095"},{"type":"electronic","value":"9783642690280"}],"license":[{"start":{"date-parts":[[1983,1,1]],"date-time":"1983-01-01T00:00:00Z","timestamp":410227200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/978-3-642-69028-0_15","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T09:11:37Z","timestamp":1319533897000},"page":"221-228","source":"Crossref","is-referenced-by-count":0,"title":["A Graph Theoretical Property for Minimal Deadlock"],"prefix":"10.1007","author":[{"given":"G.","family":"Memmi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","volume-title":"R\u00e9seau de Petri: Th\u00e9orie et Pratique","author":"GW Brams","year":"1982","unstructured":"G.W. Brams \u201cR\u00e9seau de Petri: Th\u00e9orie et Pratique\u201d (tome 1) Masson - Paris (1982)"},{"key":"15_CR2","unstructured":"G. Berthelot, G. Memmi and W. Reisig \u201cA control structure for sequential processes synchronized by buffers.\u201d Internal report."},{"key":"15_CR3","first-page":"7206","volume-title":"Applied Data Research Inc","author":"F Commoner","year":"1972","unstructured":"F. Commoner \u201cDeadlock in Petri nets\u201d Applied Data Research Inc. Wakefield Mass. CA. 7206\u20132311 (1972)"},{"key":"15_CR4","first-page":"7906","volume-title":"Lebendikeit in NSK - Petri - Netzen","author":"W Griese","year":"1979","unstructured":"W. Griese \u201cLebendikeit in NSK - Petri - Netzen\u201d Tec. Univ. M\u00fcnchen - TUM - INFO - 7906 (1979)"},{"key":"15_CR5","first-page":"94","volume-title":"Analysis of production schemata by Petri nets","author":"M Hack","year":"1972","unstructured":"M. Hack \u201cAnalysis of production schemata by Petri nets\u201d Technical Report TR-94 Projet MAC M.I.T. (1972)"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/BFb0022464","volume-title":"Semantics of Concurrent Computation","author":"O Herzog","year":"1979","unstructured":"O. Herzog \u201cStatic analysis of concurrent processes for dynamic properties using Petri nets.\u201d Proc. of the Int. Symp.\u201cSemantics of Concurrent Computation\u201d Evian 1979. (G. Kahn Ed.) L.N.C.S. 70 Springer Verlag (July 1979 ) pp 66\u201390."},{"key":"15_CR7","volume-title":"Events and conditions","author":"AW Holt","year":"1970","unstructured":"A.W. Holt and F. Commoner \u201cEvents and conditions\u201d Applied Data Research Inc. New York (1970)."},{"key":"15_CR8","first-page":"165","volume-title":"Formal properties of place transition nets","author":"M Jantzen","year":"1980","unstructured":"M. Jantzen and R. Valk \u201cFormal properties of place transition nets\u201d Proc. of Advanced Course on General Net Theory of Processes Systems - Hamburg (1979) (W. Brauer Ed.) Springer Verlag L.N.C.S. 84 (1980) pp. 165\u2013212."},{"key":"15_CR9","volume-title":"Formal theory of the basic COSY notation","author":"PE Lauer","year":"1979","unstructured":"P.E. Lauer, M.W. Shields and E. Best \u201cFormal theory of the basic COSY notation\u201d Univ. of Newcastle-upon-Tyne, Comp. Lab. T.R. 143 (November 1979)."},{"key":"15_CR10","volume-title":"Fuites et semi-flots dans les r\u00e9seaux de Petri Thesis of Docteur-Ing\u00e9nieur","author":"G Memmi","year":"1978","unstructured":"G. Memmi \u201cFuites et semi-flots dans les r\u00e9seaux de Petri\u201d Thesis of Docteur-Ing\u00e9nieur, Univ. Pierre et Marie Curie, Paris, (December 1978)."},{"key":"15_CR11","first-page":"137","volume":"14","author":"JM Toudic","year":"1982","unstructured":"J.M. Toudic \u201cAlgorithmes d\u2019alg\u00e8bre lin\u00e9aire pour l\u2019analyse structurelle des r\u00e9seaux de Petri\u201d Revue Technique Thomson-CSF, Vol. 14, n\u00b0 1 (March 1982), pp 137\u2013156.","journal-title":"Revue Technique Thomson-CSF"}],"container-title":["Informatik-Fachberichte","Applications and Theory of Petri Nets"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69028-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T09:00:02Z","timestamp":1557910802000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69028-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540123095","9783642690280"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69028-0_15","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1983]]}}}