{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:16:42Z","timestamp":1725661002792},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540553892"},{"type":"electronic","value":"9783642774492"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-3-642-77449-2_2","type":"book-chapter","created":{"date-parts":[[2012,2,18]],"date-time":"2012-02-18T01:36:41Z","timestamp":1329529001000},"page":"32-46","source":"Crossref","is-referenced-by-count":0,"title":["Systematische Dokumentation logischer Programme"],"prefix":"10.1007","author":[{"given":"Fevzi","family":"Belli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfred","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"PROLOG-Systeme in der PRAXIS","author":"F Belli","year":"1988","unstructured":"Belli F., unter Mitarbeit Von SchmidtA.,PROLOG-Systeme in der Praxis, BI, Mannheim (1988)"},{"key":"2_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-97005-4","volume-title":"Programming in Prolog, 3. revidierte und erweiterte Auflage","author":"WF Clocksin","year":"1987","unstructured":"Clocksin W.F., MellishC.S., Programming in Prolog, 3. revidierte und erweiterte Auflage, Springer-Verlag, Berlin etc. (1987)"},{"key":"2_CR3","first-page":"80","volume-title":"Programming-in-theLarge versus Programming-in-the-Small, Informatik-Fachberichte","author":"FL Deremer","year":"1976","unstructured":"Deremer F.L., Kr\u00f6n H., Programming-in-theLarge versus Programming-in-the-Small, Informatik-Fachberichte, Nr. 1, Springer-Verlag, Berlin etc. (1976), pp. 80\u201389"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"HJ Genrich","year":"1981","unstructured":"Genrich H.J., Lautenbach K., System Modelling with High-Level Petri Nets, Theoretical Comput. Sci., vol. 13 (1981), pp. 109\u2013136","journal-title":"Theoretical Comput. Sci."},{"key":"2_CR5","unstructured":"Hoffmann M., Petersen S., Wrede A., \u00bfSelbst-Aktualisierbarkeit\u201d der Anforderungsdokumentation von wissensbasierten Systemen auf PROLOG-Basis, Teil 1, 2 und 3 (Diplomarbeiten an der Hochschule Bremerhaven\/Universit\u00e4t Paderborn), 1990"},{"key":"2_CR6","unstructured":"Jensen K., Coloured Petri Nets and Invariant-Method, Theoretical Comput. Sci., vol. 14 (1981), pp. 317\u2013336"},{"key":"2_CR7","volume-title":"GMD Bericht","author":"K Lautenbach","year":"1985","unstructured":"Lautenbach K., Pagnoni, Invariance and Duality in Predicate-Transition Nets and Coloured Nets, GMD Bericht-Nr. 132, St. Augustin (1985)"},{"key":"2_CR8","volume-title":"Petri Net Theory and the Modeling of Systems","author":"JL Petersen","year":"1981","unstructured":"Petersen J.L., Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs (1981)"},{"issue":"2","key":"2_CR9","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1109\/32.21746","volume":"15","author":"G Peterka","year":"1989","unstructured":"PeterkaG., MurataT., Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs, IEEE Trans, on Software Eng., vol. 15, no. 2 (1989), pp. 209\u2013217","journal-title":"IEEE Trans, on Software Eng."},{"key":"2_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets","author":"W Reisig","year":"1985","unstructured":"Reisig W., Petri Nets, Springer-Verlag, Berlin etc. (1985)"},{"key":"2_CR11","first-page":"291","volume-title":"Representing First Order Logic-Based Specifications in Petri-Net-like Graphs","author":"K Yue","year":"1989","unstructured":"Yue K., Representing First Order Logic-Based Specifications in Petri-Net-like Graphs, Proc. 5th. Internat. IEEE-ACM-Workshop on Software Specification and Design (1989), pp. 291\u2013293"}],"container-title":["Informatik-Fachberichte","Informatik zwischen Wissenschaft und Gesellschaft"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-77449-2_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,26]],"date-time":"2020-11-26T17:34:56Z","timestamp":1606412096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-77449-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540553892","9783642774492"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-77449-2_2","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1992]]}}}