{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:22:43Z","timestamp":1725895363352},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540111894"},{"type":"electronic","value":"9783642683534"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/978-3-642-68353-4_26","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T06:25:56Z","timestamp":1320215156000},"page":"154-160","source":"Crossref","is-referenced-by-count":0,"title":["Overview on Topic 5: Mathematical Analysis and Net Languages"],"prefix":"10.1007","author":[{"given":"O.","family":"Herzog","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Valk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","first-page":"186","volume-title":"Vergleich verschiedener Spezifikationsverfahren am Beispiel einer Paketverteilungsanlage","author":"H Bischeltsrieder","year":"1980","unstructured":"H. Bischeltsrieder: Petri-Netze als Hilfsmittel zur methodischen Software-Entwicklung. In: G. H\u00fcmmel (Ed.): Vergleich verschiedener Spezifikationsverfahren am Beispiel einer Paketverteilungsanlage. Kernforschungszentrum Karlsruhe GmbH, PDV-Bericht KfK-PDV 186 (1980)"},{"key":"26_CR2","unstructured":"F. Commoner: Deadlocks in Petri Nets. Applied Data Research Inc., CA-7111\u20131211, Wakefield, Ma. (1971)"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"S. Crespi-Reghizzi: Petri Nets and Szilard Languages. Information and Control 33 (1977), 177\u2013192","DOI":"10.1016\/S0019-9958(77)90558-7"},{"key":"26_CR4","unstructured":"M. H. T. Hack: Analysis of Production Schemata by Petri Nets. MIT, Project MAC, TR -94 (1972)"},{"key":"26_CR5","unstructured":"M. H. T. Hack: Petri Net Languages. MIT, Lab. for Computer Science, TR - 159 (1976)"},{"key":"26_CR6","unstructured":"M. Jantzen: The Power of Synchronizing Operations on Strings. Universit\u00e4t Hamburg, Fachbereich Informatik, IFI-HH-B-67\/80 (1980), To be published in Theoretical Computer Science 1981"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"T. Kimura: An Algebraic System for Process Structuring and Interprocess Communication. Proc. 8th Annual ACM Symposium on Theory of Computing, (1976), p. 92\u2013100","DOI":"10.1145\/800113.803636"},{"key":"26_CR8","unstructured":"K. Lautenbach: Exakte Bedingungen der Lebendigkeit f\u00fcr eine Klasse von Petri-Netzen. Diss., Berichte der Gesellschaft f\u00fcr Mathematik und Datenverarbeitung Nr. 82 (1973)"},{"key":"26_CR9","unstructured":"A. Mazurkiewicz: A Complet Set of Assertions on Distributed Systems. Institute of Computer Science, Polish Academy of Science (1979)"},{"key":"26_CR10","unstructured":"G. MEMMI, G. ROUCAIROL: Linear Algebra in Net Theory. In: W. Brauer (Ed.): Net Theory and Applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, October 8\u201319, 1979. Berlin (1980)"},{"key":"26_CR11","unstructured":"W. E. Riddle: The Modelling and Analysis of Supervisory Systems.Computer Science Department, Stanford University, STAN - CS - 72 - 271 (1972)"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"A. C. SHAW: Software Description with Flow Expressions. IEEE Trans, on Software Engineering SE-4,3 (May 1978), p. 242\u2013254","DOI":"10.1109\/TSE.1978.231501"},{"key":"26_CR13","unstructured":"J. SIFAKIS: Le contr\u00f4le des syst\u00e8mes asynchrones: concepts, propri\u00e9t\u00e9s, analyse statique. Th\u00e8se d\u2019Etat, Universit\u00e9 de Grenoble, June-1979."}],"container-title":["Informatik-Fachberichte","Application and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-68353-4_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T17:28:10Z","timestamp":1606238890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-68353-4_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540111894","9783642683534"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-68353-4_26","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1982]]}}}