{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:10Z","timestamp":1725663130054},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540100010"},{"type":"electronic","value":"9783540393221"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10001-6_33","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:58:22Z","timestamp":1330189102000},"page":"369-388","source":"Crossref","is-referenced-by-count":0,"title":["Abstractions of net models"],"prefix":"10.1007","author":[{"given":"Jerre D.","family":"Noe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"issue":"1","key":"13_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/356612.356614","volume":"5","author":"J. J. Horning","year":"1973","unstructured":"Horning, J.J., Randell, B. \"Process Structuring\", Computing Surveys, V. 5, No. 1, Mar. 1973, pp. 5\u201330.","journal-title":"Computing Surveys"},{"doi-asserted-by":"crossref","unstructured":"Karp, R.M., Miller, R.E. \"Parallel program schemata: a mathematical model for parallel computation\", IEEE Conf. Record, 8th Annual Symp. on Switching and Automata Theory, Oct. 1967, pp. 55\u201361.","key":"13_CR2","DOI":"10.1109\/FOCS.1967.27"},{"unstructured":"Keller, R.M. \"Vector replacement systems: a formalism for modeling asynchronous systems\", TR 117, Comp. Sci. Lab, Princeton Univ., Dec. 1972.","key":"13_CR3"},{"doi-asserted-by":"crossref","unstructured":"___ \"Towards a theory of universal speed-independent modules\", IEEE TR Comp, Jan. 1974, pp. 21\u201333.","key":"13_CR4","DOI":"10.1109\/T-C.1974.223773"},{"unstructured":"Noe, J.D. \"Abstraction Levels with Pro Nets: An Algorithm and Examples\". TR 77-03-01, revised 9\/12\/77, Dept. of Computer Science, Univ. of Washington, Seattle, Wa. 98195.","key":"13_CR5"},{"unstructured":"___ \"Nets in Modeling and Simulation\" (In this proceeding).","key":"13_CR6"},{"issue":"9","key":"13_CR7","doi-asserted-by":"crossref","first-page":"718","DOI":"10.1145\/359588.359594","volume":"21","author":"H. D. Schwetman","year":"1978","unstructured":"Schwetman, H.D., \"Hybrid Simulation Models of Computer Systems\", CACM, V.21, No. 9, Sept. 1978, pp. 718\u2013723.","journal-title":"CACM"}],"container-title":["Lecture Notes in Computer Science","Net Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10001-6_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:02:12Z","timestamp":1605643332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10001-6_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100010","9783540393221"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-10001-6_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}