Advertisement

Applications of net-based models

  • Jerre D. Noe
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 84)

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.

Keywords

Symbolic Execution Reachability Graph Lexical Analysis Proper Termination Control Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Baer, J.L., "Modelling for Parallel Computation: A Case Study", Proceedings 1973 Sagamore Computer Conference on Parallel Processing.Google Scholar
  2. [2]
    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.Google Scholar
  3. [3]
    Ellis, C.S. "The Design and Evaluation of Algorithms for Parallel Processing", Ph.D. Dissertation, University of Washington, 1979.Google Scholar
  4. [4]
    Gostelow, K., et al., "Proper-Termination of Flow of Control in Programs Involving Concurrent Processes", SIGPLAN Notices, 7, 11, Nov. 1972.Google Scholar
  5. [5]
    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.Google Scholar
  6. [6]
    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.Google Scholar
  7. [7]
    Merlin, P.M., "A Study of the Recoverability of Computing Systems", a Ph.D. Thesis, University of California, Irvine.Google Scholar
  8. [8]
    Merlin, P.M. and Farber, D.J., "Recoverability of Communication Protocols—Implications of a Theoretical Study".Google Scholar
  9. [9]
    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.Google Scholar
  10. [10]
    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.Google Scholar
  11. [11]
    Nutt, G.J., "Evaluation Nets for Computer Systems Performance Analysis", Proc. FJCC, AFIPS, v.41, 1972, pp 274–286.Google Scholar
  12. [12]
    Rose, C.W. and Bradshaw, F.T., "The LOGOS Representation System", Proc. IEEE Computer Conf., 1972.Google Scholar
  13. [13]
    Sifakis, J., "Realization of Fault-Tolerant Systems by Coding Petri Nets", To appear in Journal of Design Automation and Fault-Tolerant Computing.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Jerre D. Noe
    • 1
  1. 1.University of WashingtonSeattleUSA

Personalised recommendations