{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:14:40Z","timestamp":1725624880582},"publisher-location":"Berlin, Heidelberg","reference-count":8,"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_22","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T17:38:35Z","timestamp":1319564315000},"page":"134-152","source":"Crossref","is-referenced-by-count":1,"title":["Real System Modeling: A Formal But Realistic Approach To Organizational Design"],"prefix":"10.1007","author":[{"given":"F.","family":"De Cindio","sequence":"first","affiliation":[]},{"given":"G.","family":"De Michelis","sequence":"additional","affiliation":[]},{"given":"L.","family":"Pomello","sequence":"additional","affiliation":[]},{"given":"C.","family":"Simone","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"Metodologia manuale DATAIDI descrizione sintetica","year":"1981","key":"22_CR1","unstructured":"Batini C., V. De Antonellis, and A. Di Leva, (Ed.) (1981) Metodologia manuale DATAIDI descrizione sintetica. PFI-CNR Subproject P2."},{"key":"22_CR2","first-page":"276","volume":"4","author":"DL Boyd","year":"1978","unstructured":"Boyd D.L., and A. Pizzarello, (1978). Introduction to the WELLMADE design methodology IEEE Trans, on SW-Eng., SE-4 N. 4 276\u2013282.","journal-title":"Introduction to the WELLMADE design methodology IEEE Trans"},{"volume-title":"Net Theory and Applications Lec.Not.Comp.Sc","year":"1980","key":"22_CR3","unstructured":"Brauer, W. (Ed.) (1980) Net Theory and Applications Lec.Not.Comp.Sc.\n                84 Springer-Verlag, Berlin Heidelberg New York."},{"key":"22_CR4","volume-title":"Verso un modello dei sistemi di processi autonomi interagenti Atti AICA","author":"F Cindio De","year":"1981","unstructured":"De Cindio F., G. De Michelis, L. Pomello, and C. Simone (1981) Verso un modello dei sistemi di processi autonomi interagenti Atti AICA 2, 517\u2013526, Pavia Italy."},{"key":"22_CR5","first-page":"269","volume-title":"Springer Informatik-Fachberichte","author":"F Cindio De","year":"1982","unstructured":"De Cindio F., G. De Michelis, L. Pomello, and C. Simone (1982) Superposed Automata Nets Application and Theory of Petri Nets. In C. Girault, W. Reisig (Ed.) Springer Informatik-Fachberichte, 52, 269\u2013279 Springer-Verlag, Berlin Heidelberg New York."},{"key":"22_CR6","first-page":"109","volume":"13","author":"HJ Genrich","year":"1981","unstructured":"Genrich H.J., and K. Lautenbach (1981) System modeling with high-level Petri Nets Theor.Comp.Sc., 13, 109\u2013136.","journal-title":"System modeling with high-level Petri Nets Theor.Comp.Sc"},{"key":"22_CR7","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus for Communicating Systems Lec.Not.Comp. Sc","author":"R Milner","year":"1980","unstructured":"Milner R. (1980) A Calculus for Communicating Systems Lec.Not.Comp. Sc. 92 Springer-Verlag, Berlin Heidelberg New York."},{"key":"22_CR8","first-page":"6","volume-title":"Structured Analysis for requirements definition IEEE Trans","author":"DT Ross","year":"1977","unstructured":"Ross D.T., and K. E. Schomanjr (1977) Structured Analysis for requirements definition IEEE Trans, on SW-Eng. SE-3 N.1 6\u20135."}],"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_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T04:27:18Z","timestamp":1555216038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69208-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540125679","9783642692086"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69208-6_22","relation":{},"subject":[],"published":{"date-parts":[[1983]]}}}