Nets in modeling and simulation
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.
KeywordsModeling Method Local Clock Input Token Priority Procedure Graph Modeling Language
Unable to display preview. Download preview PDF.
- 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
- 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
- Horning, J.J., Randell, B. "Process Structuring", Computing Surveys, v. 5, No. 1, Mar. 73, pp. 5–30.Google Scholar
- Kehl, T.D., Moss, C., Dunkel, L. "LM2 — A logical machine mini-computer", IEEE Computer, Nov. 1975, pp. 12–22.Google Scholar
- Merlin, P.M., "A Study of the Recoverability of Computing Systems", Ph.D. Thesis, Univ. of California, Irvine, CA. 1974.Google Scholar
- 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
- 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
- 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
- Noe, J.D. "Pro-Nets: for Modeling Processes and Processors", Conf. on Petri Nets and Related Topics, MIT, July 1–3, 1975.Google Scholar
- 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
- 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
- Noe, J.D. "Abstractions of Net Models" (elsewhere in these proceedings).Google Scholar
- 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
- 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