{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:13Z","timestamp":1725663133423},"publisher-location":"Berlin, Heidelberg","reference-count":13,"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_34","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:58:37Z","timestamp":1330189117000},"page":"389-400","source":"Crossref","is-referenced-by-count":0,"title":["Applications of net-based 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":[{"key":"14_CR1","unstructured":"Baer, J.L., \"Modelling for Parallel Computation: A Case Study\", Proceedings 1973 Sagamore Computer Conference on Parallel Processing."},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Baer, J.L. and Ellis, C.S., \"Model Design and Evaluation of a Compiler for a Parallel Processing Environment\", IEEE Transactions on Software Engineering, Volume SE-3, No. 6, Nov. 1977.","DOI":"10.1109\/TSE.1977.231172"},{"key":"14_CR3","unstructured":"Ellis, C.S. \"The Design and Evaluation of Algorithms for Parallel Processing\", Ph.D. Dissertation, University of Washington, 1979."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Gostelow, K., et al., \"Proper-Termination of Flow of Control in Programs Involving Concurrent Processes\", SIGPLAN Notices, 7, 11, Nov. 1972.","DOI":"10.1145\/987361.987365"},{"key":"14_CR5","unstructured":"Han, Y.W. and Heimerdinger, W.L. \"Theory of Fault Tolerance\", Final Report, Dec. 1977, Honeywell Research Systems and Research Center, ONR Contract No. N00014-75-C-0011."},{"key":"14_CR6","unstructured":"Heimerdinger, W.L. and Han, Y.W. \"A Graph Theoretic Approach to Fault Tolerant Computing\", Final Report, Sept. 12, 1977, Honeywell Systems and Research Center, 2700 Ridgeway Parkway, Minneapolis, MN 55413, AFOSR Contract No. F44620-75-C-0053."},{"key":"14_CR7","unstructured":"Merlin, P.M., \"A Study of the Recoverability of Computing Systems\", a Ph.D. Thesis, University of California, Irvine."},{"key":"14_CR8","unstructured":"Merlin, P.M. and Farber, D.J., \"Recoverability of Communication Protocols\u2014Implications of a Theoretical Study\"."},{"key":"14_CR9","unstructured":"Merlin, P.M. and Randell, B., \"Consistent State Restoration in Distributed Systems\", To appear in CACM. Also TR 113, Computing Lab., Univ. of Newcastle upon Tyne, 1977."},{"key":"14_CR10","unstructured":"Merlin, P.M. and Randell, B., \"State Restoration in Distributed Systems\", Digest of Papers, FTCS-8, Toulouse, Fr., June 1978, IEEE Comp. Soc., Catalog No. 78, Ch 1286-4C."},{"key":"14_CR11","first-page":"274","volume":"41","author":"G. J. Nutt","year":"1972","unstructured":"Nutt, G.J., \"Evaluation Nets for Computer Systems Performance Analysis\", Proc. FJCC, AFIPS, v.41, 1972, pp 274\u2013286.","journal-title":"Proc. FJCC, AFIPS"},{"key":"14_CR12","unstructured":"Rose, C.W. and Bradshaw, F.T., \"The LOGOS Representation System\", Proc. IEEE Computer Conf., 1972."},{"key":"14_CR13","unstructured":"Sifakis, J., \"Realization of Fault-Tolerant Systems by Coding Petri Nets\", To appear in Journal of Design Automation and Fault-Tolerant Computing."}],"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_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:33:00Z","timestamp":1619555580000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10001-6_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100010","9783540393221"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-10001-6_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}