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.
This work has been jointly supported by NSF Grants No. GJ-36273, MCS77-22819 and the University of Washington.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
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.
Holt, A.W., Commoner, F. "Events and Conditions", Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, pp. 3–52, 1970.
Horning, J.J., Randell, B. "Process Structuring", Computing Surveys, v. 5, No. 1, Mar. 73, pp. 5–30.
Kehl, T.D., Moss, C., Dunkel, L. "LM2 — A logical machine mini-computer", IEEE Computer, Nov. 1975, pp. 12–22.
Merlin, P.M., "A Study of the Recoverability of Computing Systems", Ph.D. Thesis, Univ. of California, Irvine, CA. 1974.
Noe, J.D., A Petri-Net Description of the CDC 6400, Proc. ACM Workshop on System Performance Evaluation, Harvard University, 1971, pp. 362–378.
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.
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.
Noe, J.D. "Pro-Nets: for Modeling Processes and Processors", Conf. on Petri Nets and Related Topics, MIT, July 1–3, 1975.
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.
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.
Noe, J.D. "Abstractions of Net Models" (elsewhere in these proceedings).
Nutt, G.J., "Evaluation Nets for Computer Systems Performance Analysis", 1972 Fall Joint Computer Conference, AFIPS Conference Proceedings, vol. 41, pp. 279–86.
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.
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). Nets in modeling and simulation. 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_32
Download citation
DOI: https://doi.org/10.1007/3-540-10001-6_32
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