Skip to main content
SpringerLink
Log in

A simulation system architecture for graph models

  • Conference paper
  • First Online:
Advances in Petri Nets 1990 (ICATPN 1989)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 483))

Included in the following conference series:

Abstract

The paper describes a distributed modeling system architecture, designed to support various graph models of computation, including predicate/transition nets and colored Petri nets. To demonstrate the utility of the architecture, we describe an implementation for a specific graph model (one that is related to, but distinct from, Petri nets). The architecture provides for interactive editing and interpretation facilities employing a graphic point-and-select user interface. A user can define a model, then mark it with tokens and observe the operation of the net through real time animation. The model and the marking can be rapidly altered, even as an interpretation is in progress. The system also supports simultaneous use among multiple users, including concurrent editing and interpretation. Thus the system supports cooperative model design and interpretation by a group of designers at different nodes in a network of workstations.

This research has been supported by NSF Grant No. CCR-8802283, NSF cooperative agreement DCR-8420944, and a grant from U S West Advanced Technologies. This paper is a substantial revision of a paper entitled “A Flexible, Distributed Simulation System” presented at the Tenth International Conference on Application and Theory of Petri Nets.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6. References

  1. G. Balbo and G. Chiola, “Stochastic Petri Net Simulation”, 1989 Winter Simulation Conference Proceedings, Washington, D. C., December 1989, 266–276.

    Google Scholar 

  2. A. L. Beguelin, “Deterministic Parallel Programming in Phred”, University of Colorado, Department of Computer Science, Ph. D. Dissertation, May 1990.

    Google Scholar 

  3. J. C. Browne, D. Neuse, J. Dutton and K. Yu, “Graphical Programming for Simulation of Computer Systems”, Proceedings of the 18th Annual Simulation Symposium, 1985.

    Google Scholar 

  4. M. Broy, Control Flow and Data Flow: Concepts of Distributed Programmings, Springer Verlag, 1985.

    Google Scholar 

  5. I. M. Demeure, S. L. Smith and G. J. Nutt, “Modeling Parallel, Distributed Computations using ParaDiGM — A Case Study: The Adaptive Global Optimization Algorithm”, Fourth SIAM Conference on Parallel Processing for Scientific Computing, Chicago, IL, December 1989.

    Google Scholar 

  6. I. M. Demeure, “A Graph Model, ParaDiGM, and a Software Tool, VISA, for the Representation, Design, and Simulation of Parallel, Distributed Computations”, University of Colorado, Department of Computer Science, Ph. D. Dissertation, June 1989.

    Google Scholar 

  7. I. M. Demeure and G. J. Nutt, “Prototyping and Simulating Parallel, Distributed Computations with VISA”, submitted for publication, May 1990.

    Google Scholar 

  8. R. S. Elliott and G. J. Nutt, “Remarks on the Cost of Using A Remote Procedure Call Facility”, University of Colorado, Department of Computer Science Technical Report No. CU-CS-426-89, February 1989.

    Google Scholar 

  9. C. A. Ellis and G. J. Nutt, “Office Information Systems and Computer Science”, ACM Computing Surveys 12, 1 (March 1980), 27–60.

    Google Scholar 

  10. G. Estrin, “A Methodology for Design of Digital Systems — Supported by SARA at the Age of One”, AFIPS Conference Proceedings of the National Computer Conference 47 (1978), 313–324.

    Google Scholar 

  11. G. Estrin, R. S. Fenchel, R. R. Razouk and M. K. Vernon, “SARA (System ARchitects Apprentice): Modeling, Analysis, and Simulation Support for Design of Concurrent Systems”, IEEE Transactions on Software Engineering SE-12, 2 (February 1986), 293–311.

    Google Scholar 

  12. H. J. Genrich, “Predicate/Transition Nets”, in Petri Nets: Control Models and Their Properties, Advances in Petri Nets 1986, Part 1, W. Brauer, W. Reisig and G. Rozenberg (editor), Lecture Notes in Computer Science, Springer Verlag, Berlin, Heidelberg, New York, 1987.

    Google Scholar 

  13. M. L. Graf, “Building a Visual Designer's Environment”, MCC Technical Report No. STP-318-87, October, 1987.

    Google Scholar 

  14. PAWS/GPSM marketing brochures, Information Research Associates, Austin, TX, 1988.

    Google Scholar 

  15. K. Jensen, “Coloured Petri Nets”, in Petri Nets: Control Models and Their Properties, Advances in Petri Nets 1986, Part 1, W. Brauer, W. Reisig and G. Rozenberg (editor), Lecture Notes in Computer Science, Springer Verlag, Berlin, Heidelberg, New York, 1986, 248–299.

    Google Scholar 

  16. S. J. Leffler, R. S. Fabry, W. N. Joy and P. Lapsley, “An Advanced 4.3BSD Interprocess Communication Tutorial”, in Unix Programmer's Manual Supplementary Documents 1, Computer Systems Research Group, Computer Science Division, Department of Electrical Engineering and Computer Science, University of California, Berkeley, April 1986.

    Google Scholar 

  17. B. Melamed and R. J. T. Morris, “Visual Simulation: The Performance Analysis Workstation”, IEEE Computer 18, 8 (August 1985), 87–94.

    Google Scholar 

  18. T. Murata, “Petri Nets: Properties, Analysis and Applications”, Proceedings of the IEEE 77, 4 (April 1989), 541–580.

    Google Scholar 

  19. K. M. Nichols and J. T. Edmark, “Modeling Multicomputer Systems with PARET”, IEEE Computer 21, 5 (May 1988), 39–48.

    Google Scholar 

  20. J. D. Noe and G. J. Nutt, “Macro E-Nets for Representing Parallel Systems”, IEEE Transactions on Computers C-12, 8 (August 1973), 718–727.

    Google Scholar 

  21. G. J. Nutt, “The Formulation and Application of Evaluation Nets”, Ph.D dissertation, Computer Science Group, University of Washington, 1972.

    Google Scholar 

  22. G. J. Nutt and P. A. Ricci, “Quinault: An Office Environment Simulator”, IEEE Computer 14, 5 (May 1981), 41–57.

    Google Scholar 

  23. G. J. Nutt, “Visual Programming Methodology for Parallel Computations”, MCC-University Research Symposium Proceedings, Austin, Texas, July 1987.

    Google Scholar 

  24. G. J. Nutt, “Olympus: An Extensible Modeling and Programming System”, Technical Report No. CU-CS0412-88, Department of Computer Science — University of Colorado, Boulder, October 1988.

    Google Scholar 

  25. G. J. Nutt, A. Beguelin, I. Demeure, S. Elliott, J. McWhirter and B. Sanders, “Olympus User's Manual”, Technical Report CU-CS-382-87, Department of Computer Science — University of Colorado, Boulder, December 1987 (revised June, 1989).

    Google Scholar 

  26. G. J. Nutt, “A Formal Model for Interactive Simulation Systems”, Technical Report No. CU-CS-410-88, Department of Computer Science — University of Colorado, Boulder, September 1988 (Revised May 1989).

    Google Scholar 

  27. C. Ramchandani, “Analysis of Asynchronous Concurrent Systems by Timed Petri Nets”, Ph.D. dissertation, MIT, 1974.

    Google Scholar 

  28. R. R. Razouk and C. V. Phelps, “Performance Analysis Using Timed Petri Nets”, Proceedings of 1984 International Conference on Parallel Processing, August 1984, 126–129.

    Google Scholar 

  29. D. Smith, E. Harslem, C. Irby and R. Kimball, “The Star User Interface: An Overview”, Proceedings of the AFIPS National Computer Conference 51 (1982), 515–528.

    Google Scholar 

  30. “Networking on the Sun Workstation”, Document Number 800-1345-10, Sun Microsystems, Inc., September 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Colorado, Campus Box 430, 80309-0430, Boulder, CO

    Gary J. Nutt

Authors
  1. Gary J. Nutt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nutt, G.J. (1991). A simulation system architecture for graph models. In: Rozenberg, G. (eds) Advances in Petri Nets 1990. ICATPN 1989. Lecture Notes in Computer Science, vol 483. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53863-1_32

Download citation

  • DOI: https://doi.org/10.1007/3-540-53863-1_32

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53863-9

  • Online ISBN: 978-3-540-46369-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation