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.
Preview
Unable to display preview. Download preview PDF.
6. References
G. Balbo and G. Chiola, “Stochastic Petri Net Simulation”, 1989 Winter Simulation Conference Proceedings, Washington, D. C., December 1989, 266–276.
A. L. Beguelin, “Deterministic Parallel Programming in Phred”, University of Colorado, Department of Computer Science, Ph. D. Dissertation, May 1990.
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.
M. Broy, Control Flow and Data Flow: Concepts of Distributed Programmings, Springer Verlag, 1985.
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.
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.
I. M. Demeure and G. J. Nutt, “Prototyping and Simulating Parallel, Distributed Computations with VISA”, submitted for publication, May 1990.
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.
C. A. Ellis and G. J. Nutt, “Office Information Systems and Computer Science”, ACM Computing Surveys 12, 1 (March 1980), 27–60.
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.
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.
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.
M. L. Graf, “Building a Visual Designer's Environment”, MCC Technical Report No. STP-318-87, October, 1987.
PAWS/GPSM marketing brochures, Information Research Associates, Austin, TX, 1988.
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.
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.
B. Melamed and R. J. T. Morris, “Visual Simulation: The Performance Analysis Workstation”, IEEE Computer 18, 8 (August 1985), 87–94.
T. Murata, “Petri Nets: Properties, Analysis and Applications”, Proceedings of the IEEE 77, 4 (April 1989), 541–580.
K. M. Nichols and J. T. Edmark, “Modeling Multicomputer Systems with PARET”, IEEE Computer 21, 5 (May 1988), 39–48.
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.
G. J. Nutt, “The Formulation and Application of Evaluation Nets”, Ph.D dissertation, Computer Science Group, University of Washington, 1972.
G. J. Nutt and P. A. Ricci, “Quinault: An Office Environment Simulator”, IEEE Computer 14, 5 (May 1981), 41–57.
G. J. Nutt, “Visual Programming Methodology for Parallel Computations”, MCC-University Research Symposium Proceedings, Austin, Texas, July 1987.
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.
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).
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).
C. Ramchandani, “Analysis of Asynchronous Concurrent Systems by Timed Petri Nets”, Ph.D. dissertation, MIT, 1974.
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.
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.
“Networking on the Sun Workstation”, Document Number 800-1345-10, Sun Microsystems, Inc., September 1986.
Author information
Authors and Affiliations
Editor information
Rights 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