{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:22:14Z","timestamp":1725895334821},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540111894"},{"type":"electronic","value":"9783642683534"}],"license":[{"start":{"date-parts":[[1982,1,1]],"date-time":"1982-01-01T00:00:00Z","timestamp":378691200000},"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":[[1982]]},"DOI":"10.1007\/978-3-642-68353-4_30","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T10:25:56Z","timestamp":1320229556000},"page":"178-182","source":"Crossref","is-referenced-by-count":0,"title":["Graph-Theoretical Analysis of A Subclass of Petri-Nets"],"prefix":"10.1007","author":[{"given":"Otthein","family":"Herzog","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"F. COMMONER: Deadlocks in Petri Nets.Applied Data Research Inc., New York, CA-7206-2311 (1972)"},{"key":"30_CR2","unstructured":"H.J. Genrich, K. Lautenbach: Synchronisationsgraphen.- Acta Informatica 2 (1973), p. 143\u2013161"},{"key":"30_CR3","unstructured":"M.H.T. Hack: Analysis of Production Schemata by Petri Nets.- M.I.T., Project MAC, TR-94 (1972)"},{"key":"30_CR4","unstructured":"M.H.T. Hack: Extended State Machine allocatable Nets (ESMA) - an Extension of Free Choice Petri Nets Results.-M.I.T., Project MAC, Computations Structures Group Memo 78\u20131 (1974)"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"O. Herzog: Static Analysis of Concurrent Processes for Dynamic Properties Using Petri Nets.- In:.G. Kahn (Ed.): Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2\u20134, 1979.- Springer Verlag (1979), p.66\u201390","DOI":"10.1007\/BFb0022464"},{"key":"30_CR6","unstructured":"A. Holt, F. Commoner: Events and Conditions.- Applied Data Research Inc., New York (1970)"},{"key":"30_CR7","unstructured":"M. Latteux: Synchronisation de Processus.- R.A.I.R.O. Informatique, Vol. 14, No. 2 (1980), p. 103\u2013135"},{"key":"30_CR8","unstructured":"K. Lautenbach: Liveness in Petri Nets.-GMD Bonn, Institut fuer Informationssystemforschung, Interner Bericht 02.1\/75\u20137\u201329 (1975)"},{"key":"30_CR9","unstructured":"G. Memmi: Leakage Notion.- Part of these Proceedings."}],"container-title":["Informatik-Fachberichte","Application and Theory of Petri Nets"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-68353-4_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T08:54:32Z","timestamp":1557910472000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-68353-4_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540111894","9783642683534"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-68353-4_30","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1982]]}}}