{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:08Z","timestamp":1762458968249},"publisher-location":"Berlin, Heidelberg","reference-count":14,"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_32","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:58:27Z","timestamp":1330189107000},"page":"347-368","source":"Crossref","is-referenced-by-count":7,"title":["Nets in modeling and simulation"],"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":[{"key":"12_CR1","unstructured":"Crowley, C.P. and Noe, J.D. \"Interactive Graphical Simulation Using Modified Petri Nets\", SIGSIM\/NBS Symposium on the Simulation of Computer Systems, Boulder, CO. Aug. 12\u201314, 1975."},{"key":"12_CR2","unstructured":"Holt, A.W., Commoner, F. \"Events and Conditions\", Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, pp. 3\u201352, 1970."},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Horning, J.J., Randell, B. \"Process Structuring\", Computing Surveys, v. 5, No. 1, Mar. 73, pp. 5\u201330.","DOI":"10.1145\/356612.356614"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Kehl, T.D., Moss, C., Dunkel, L. \"LM2 \u2014 A logical machine mini-computer\", IEEE Computer, Nov. 1975, pp. 12\u201322.","DOI":"10.1109\/C-M.1975.218797"},{"key":"12_CR5","volume-title":"A Study of the Recoverability of Computing Systems","author":"P. M. Merlin","year":"1974","unstructured":"Merlin, P.M., \"A Study of the Recoverability of Computing Systems\", Ph.D. Thesis, Univ. of California, Irvine, CA. 1974."},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Noe, J.D., A Petri-Net Description of the CDC 6400, Proc. ACM Workshop on System Performance Evaluation, Harvard University, 1971, pp. 362\u2013378.","DOI":"10.1145\/800024.808367"},{"issue":"8","key":"12_CR7","doi-asserted-by":"crossref","first-page":"718","DOI":"10.1109\/TC.1973.5009150","volume":"C-22","author":"J. D. Noe","year":"1973","unstructured":"Noe, J.D. and Nutt, G.J. \"Macro E-Nets for Representation of Parallel Systems\", IEEE Transactions on Computers, vol. C-22, No. 8, Aug. 1973, pp. 718\u2013727.","journal-title":"IEEE Transactions on Computers"},{"key":"12_CR8","unstructured":"Noe, J.D., Crowley, C.P., and Anderson, T.L. \"The Design of an Interactive Graphical Net Editor\", Proc. CIPS-ACM, Pacific Regional Conf., May 1974, pp. 386\u2013402. Also in Univ. of Washington Technical Report #74-07-30."},{"key":"12_CR9","unstructured":"Noe, J.D. \"Pro-Nets: for Modeling Processes and Processors\", Conf. on Petri Nets and Related Topics, MIT, July 1\u20133, 1975."},{"key":"12_CR10","unstructured":"Noe, J.D. and Kehl, T.H. \"A Petri Net model of a modular micro-programmable computer (LM2), TR#75-09-01, Computer Science Dept., Univ. of Washington, 22 pages."},{"key":"12_CR11","unstructured":"Noe, J.D. \"Machine Aided Modeling, Using Modified Petri Nets\", Proc. Conference: AFCET, Reseaux de Petri, l'Institut de Programmation de Paris 23, 24 March 1977. See also S\u00e9minaires IRIA, Mod\u00e9lisation et Evaluation des Syst\u00e9mes Informatiques, 1977, pp. 257\u2013282."},{"key":"12_CR12","unstructured":"Noe, J.D. \"Abstractions of Net Models\" (elsewhere in these proceedings)."},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Nutt, G.J., \"Evaluation Nets for Computer Systems Performance Analysis\", 1972 Fall Joint Computer Conference, AFIPS Conference Proceedings, vol. 41, pp. 279\u201386.","DOI":"10.1145\/1479992.1480030"},{"key":"12_CR14","unstructured":"Nutt, G.J., \"The Formulation and Application of Evaluation Nets\", Ph.D. Dissertation, Dept. of Computer Science, Univ. of Washington, 1972. Available from University Microfilms, 300 Zeeb Road, Ann Arbor, MI 48106."}],"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_32.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_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100010","9783540393221"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-10001-6_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}