{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:14:59Z","timestamp":1725624899935},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540125679"},{"type":"electronic","value":"9783642692086"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/978-3-642-69208-6_24","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T17:38:35Z","timestamp":1319564315000},"page":"156-170","source":"Crossref","is-referenced-by-count":0,"title":["A High Level Net Language for Stepwise Modeling of Organizational Systems"],"prefix":"10.1007","author":[{"given":"B.","family":"Kr\u00e4mer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H. W.","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"Net Theory and Applications. Lecture Notes in Computer Science","year":"1980","key":"24_CR1","unstructured":"Brauer W. (Ed. 1980 ). Net Theory and Applications. Lecture Notes in Computer Science, 84, Springer-Verlag, Berlin, Heidelberg, New York."},{"key":"24_CR2","volume-title":"Stepwise specification and implementation of abstract data types","author":"H Ehrig","year":"1978","unstructured":"Ehrig H., H.-J. Kreowski, and P. Padawitz (1978). Stepwise specification and implementation of abstract data types. In: Proceedings of International Colloquium on Automata Languages, Udine, Italy."},{"key":"24_CR3","first-page":"32","volume-title":"Mathematical Foundations of Computer Science","author":"HJ Genrich","year":"1975","unstructured":"Genrich H.J. (1975). Extended simple regular expressions. In Mathematical Foundations of Computer Science, LNCS\n                32. Springer-Verlag, Berlin, Heidelberg, New York."},{"key":"24_CR4","first-page":"77","volume-title":"Ans\u00e4tze zur Organisationstheorie rechnergestutzter Informationssysteme, Berichte der GMD","author":"HJ Genrich","year":"1979","unstructured":"Genrich H.J. (1979). Ein Kalk\u00fcl des Planens und Handelns. In C. A. Petri (Ed.), Ans\u00e4tze zur Organisationstheorie rechnergestutzter Informationssysteme, Berichte der GMD 111, R. Oldenbourg Verlag, M\u00fcnchen-Wien. pp. 77\u201392."},{"key":"24_CR5","first-page":"84","volume-title":"Elements of general net theory. In Lecture Notes in Computer Science","author":"HJ Genrich","year":"1980","unstructured":"Genrich H. J., K. Lautenbach, and P. S. Thiagarajan (1980). Elements of general net theory. In Lecture Notes in Computer Science, 84, Springer-Verlag, Berlin, Heidelberg, New York."},{"key":"24_CR6","first-page":"82","volume-title":"A diagram editor for line drawings with inscriptions. ISF-Report","author":"HJ Genrich","year":"1982","unstructured":"Genrich H. J. and R. M. Shapiro (1982). A diagram editor for line drawings with inscriptions. ISF-Report\n                82\u201302. GMD, St. Augustin."},{"key":"24_CR7","first-page":"I","volume-title":"Current Trends in Programming Methodology","author":"JA Goguen","year":"1978","unstructured":"Goguen J. A., J. W. Thatcher, and E. G. Wagner (1978). An initial algebra approach to the specification, correctness and implementation of abstract data types. In R. Yeh (Ed.), Current Trends in Programming Methodology, IV. Data Structuring, Prentice Hall, New Jersey."},{"key":"24_CR8","first-page":"39","volume-title":"Ans\u00e4tze zur Organisationstheorie rechnergest\u00fctzter Informationssysteme","author":"AW Holt","year":"1979","unstructured":"Holt A.W. (1979). Net models of organizational systems, in theory and practice. In C. A. Petri (Ed.), Ans\u00e4tze zur Organisationstheorie rechnergest\u00fctzter Informationssysteme, Berichte der GMD 111, R. Oldenbourg Verlag, M\u00fcnchen-Wien. pp. 39\u201362."},{"key":"24_CR9","first-page":"179","volume-title":"Visibility and types","author":"CHA Koster","year":"1976","unstructured":"Koster C. H. A. (1976). Visibility and types. SIGPLAN Notices Special Issue, Conference on Data, Salt Lake City. 179\u2013190."},{"key":"24_CR10","first-page":"134","volume-title":"Interactive software development by stepwise formalization","year":"1981","unstructured":"Kr\u00e4mer B. and H. W. Schmidt (1981). Interactive software development by stepwise formalization. In Proceedings of the sixth ACM European regional conference, IPC Press Ltd., Guildford, England. pp. 134\u2013143"},{"issue":"3","key":"24_CR11","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"JL Peterson","year":"1977","unstructured":"Peterson J. L. (1977). Petri Nets. Comput Surv. 9, No. 3, 223\u2013252.","journal-title":"Comput Surv"},{"key":"24_CR12","first-page":"171","volume-title":"General net theory","author":"CA Petri","year":"1976","unstructured":"Petri C.A. (1976). General net theory. In B. Shaw (Ed.), Proceedings of the Joint IBM University of Newcastle Seminar, University of Newcastle upon Tyne. pp. 171\u2013183"},{"issue":"7","key":"24_CR13","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/359131.359133","volume":"22","author":"T Winograd","year":"1979","unstructured":"Winograd T. (1979). Beyond programming languages. Commun. ACM, 22. no. 7, 391\u2013401.","journal-title":"Commun. ACM"}],"container-title":["Adequate Modeling of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69208-6_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:54:23Z","timestamp":1606258463000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69208-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540125679","9783642692086"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69208-6_24","relation":{},"subject":[],"published":{"date-parts":[[1983]]}}}