{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:13:38Z","timestamp":1725624818604},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540123095"},{"type":"electronic","value":"9783642690280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/978-3-642-69028-0_9","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T05:11:37Z","timestamp":1319519497000},"page":"112-131","source":"Crossref","is-referenced-by-count":3,"title":["A Diagram Editor for Line Drawings with Inscriptions"],"prefix":"10.1007","author":[{"given":"Hartmann J.","family":"Genrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert M.","family":"Shapiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Forschungs-und Entwicklungsplan","author":"Gesellschaft fuer Mathematik und Datenverarbeitung (GMD)","year":"1981","unstructured":"Gesellschaft fuer Mathematik und Datenverarbeitung (GMD): Forschungs-und Entwicklungsplan 1981 Sankt Augustin (1981)"},{"volume-title":"Net Theory and Applications","year":"1980","key":"9_CR2","unstructured":"Brauer, W. (ed.): Net Theory and Applications. Springer LNCS 84 (1980)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Shapiro, R.M.: The Application of General Net Theory - A Personal History. In [2] 401\u2013440","DOI":"10.1007\/3-540-10001-6_35"},{"key":"9_CR4","volume-title":"NSW Reliability Plan Wakefield Mass.: Massachusetts Computer Associates, Inc.","author":"RM Shapiro","year":"1977","unstructured":"Shapiro, R.M.; Millstein, R.E.: NSW Reliability Plan Wakefield Mass.: Massachusetts Computer Associates, Inc. (1977) CA-7701\u20131411"},{"key":"9_CR5","unstructured":"Dynagraphics\/RGS Programmers Guide. Needham, Mass.: IMLAC Corporation (1980) D.N. 033-0001"},{"key":"9_CR6","first-page":"381","volume-title":"A Functional Overview of the Core System with Glossary. ACM Computing Surveys","author":"JC Michener","year":"1978","unstructured":"Michener, J.C.; van Dam, A.: A Functional Overview of the Core System with Glossary. ACM Computing Surveys 10,4 (1978) 381\u2013388"},{"key":"9_CR7","volume-title":"Algebraische Bestimmung von S-Invarianten in Praedikat\/Transitons-Netzen","author":"H Mevissen","year":"1981","unstructured":"Mevissen, H.: Algebraische Bestimmung von S-Invarianten in Praedikat\/Transitons-Netzen. Sankt Augustin: Gesellschaft fuer Mathematik und Datenverarbeitung(1981) ISF-Report 81. 01"},{"key":"9_CR8","volume-title":"Summer School on Theoretical Foundations of Programming","author":"Z Manna","year":"1981","unstructured":"Manna, Z.;Pnueli,A.: Verification of Concurrent Programs: The Temporal Framework. Summer School on Theoretical Foundations of Programming. Munich, August 1981."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Genrich,H.J.; Lautenbach,K.;Thiagarajan,P.S.: Elements of General Net Theory. In [2] 21\u2013164.","DOI":"10.1007\/3-540-10001-6_22"}],"container-title":["Informatik-Fachberichte","Applications and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69028-0_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T17:42:10Z","timestamp":1606239730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69028-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540123095","9783642690280"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69028-0_9","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1983]]}}}