Abstract
Selected applications of nets by other authors are discussed, to show a range of use of the models, and to show the modifications to nets that have been adopted for specific applications. The topics include models of a parallel algorithm for lexical analysis, net augmentation to detect and correct errors, an approach to error correction in distributed systems with no central control, and modeling aids to design of properly functioning systems.
This paper was prepared through support by NSF Grant No. MCS77-22819 and the University of Washington.
Preview
Unable to display preview. Download preview PDF.
References
Baer, J.L., "Modelling for Parallel Computation: A Case Study", Proceedings 1973 Sagamore Computer Conference on Parallel Processing.
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.
Ellis, C.S. "The Design and Evaluation of Algorithms for Parallel Processing", Ph.D. Dissertation, University of Washington, 1979.
Gostelow, K., et al., "Proper-Termination of Flow of Control in Programs Involving Concurrent Processes", SIGPLAN Notices, 7, 11, Nov. 1972.
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.
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.
Merlin, P.M., "A Study of the Recoverability of Computing Systems", a Ph.D. Thesis, University of California, Irvine.
Merlin, P.M. and Farber, D.J., "Recoverability of Communication Protocols—Implications of a Theoretical Study".
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.
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.
Nutt, G.J., "Evaluation Nets for Computer Systems Performance Analysis", Proc. FJCC, AFIPS, v.41, 1972, pp 274–286.
Rose, C.W. and Bradshaw, F.T., "The LOGOS Representation System", Proc. IEEE Computer Conf., 1972.
Sifakis, J., "Realization of Fault-Tolerant Systems by Coding Petri Nets", To appear in Journal of Design Automation and Fault-Tolerant Computing.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Noe, J.D. (1980). Applications of net-based models. In: Brauer, W. (eds) Net Theory and Applications. Lecture Notes in Computer Science, vol 84. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10001-6_34
Download citation
DOI: https://doi.org/10.1007/3-540-10001-6_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10001-0
Online ISBN: 978-3-540-39322-1
eBook Packages: Springer Book Archive