Advertisement

Nets in modeling and simulation

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

Abstract

Place/Transition nets, or Petri Nets, have an appealing mix of simplicity and power for expressing essential interactions in concurrent systems. Yet, when one wishes to express the complexities of actual computing systems, and deal with performance questions typically asked about them, one needs further capabilities that are attuned to the application — a higher level modeling language.

This paper summarizes experience gained in the search for a suitably expressive graph modeling language, and presents a definition of a useful modeling method that has evolved and is adaptable to hierarchical views of large systems.

Keywords

Modeling Method Local Clock Input Token Priority Procedure Graph Modeling Language 
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]
    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–14, 1975.Google Scholar
  2. [2]
    Holt, A.W., Commoner, F. "Events and Conditions", Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, pp. 3–52, 1970.Google Scholar
  3. [3]
    Horning, J.J., Randell, B. "Process Structuring", Computing Surveys, v. 5, No. 1, Mar. 73, pp. 5–30.Google Scholar
  4. [4]
    Kehl, T.D., Moss, C., Dunkel, L. "LM2 — A logical machine mini-computer", IEEE Computer, Nov. 1975, pp. 12–22.Google Scholar
  5. [5]
    Merlin, P.M., "A Study of the Recoverability of Computing Systems", Ph.D. Thesis, Univ. of California, Irvine, CA. 1974.Google Scholar
  6. [6]
    Noe, J.D., A Petri-Net Description of the CDC 6400, Proc. ACM Workshop on System Performance Evaluation, Harvard University, 1971, pp. 362–378.Google Scholar
  7. [7]
    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–727.Google Scholar
  8. [8]
    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–402. Also in Univ. of Washington Technical Report #74-07-30.Google Scholar
  9. [9]
    Noe, J.D. "Pro-Nets: for Modeling Processes and Processors", Conf. on Petri Nets and Related Topics, MIT, July 1–3, 1975.Google Scholar
  10. [10]
    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.Google Scholar
  11. [11]
    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éminaires IRIA, Modélisation et Evaluation des Systémes Informatiques, 1977, pp. 257–282.Google Scholar
  12. [12]
    Noe, J.D. "Abstractions of Net Models" (elsewhere in these proceedings).Google Scholar
  13. [13]
    Nutt, G.J., "Evaluation Nets for Computer Systems Performance Analysis", 1972 Fall Joint Computer Conference, AFIPS Conference Proceedings, vol. 41, pp. 279–86.Google Scholar
  14. [14]
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Jerre D. Noe
    • 1
  1. 1.Univ. of WashingtonSeattle

Personalised recommendations