Abstract
The conservative and the optimistic approaches of distributed discrete event simulation (DDES) are used as the starting point to develop an optimized simulation framework for studying the behaviour of large and complex timed transition Petri net (TTPN) models. This work systematically investigates the interdependencies among the DDES strategy (conservative, Time Warp) and the spatial decomposition of TTPNs into logical processes to be run concurrently on individual processing nodes in a message passing and shared memory multiprocessor environment. Partitioning heuristics are developed taking into account the structural properties of the TTPN model, and the simulation strategy is tuned accordingly in order to attain the maximum computational speedup. Implementations of the simulation framework have been undertaken for the Intel iPSC/860 hypercube, the Sequent Balance and a Transputer based multiprocessor. The simulation results show that the use of the Petri net formalism allows an automatic extraction of the parallelism and causality relations inherent to the model.
The work at the University of Torino was performed in the framework of the Esprit BRA Project No.7269, QMIPS. The work at the University of Vienna was financially supported by the Austrian Ministry for Science and Research under Grant GZ 613.525/2-26/90.
Preview
Unable to display preview. Download preview PDF.
References
T. Murata. Petri nets: properties, analysis, and applications. Proceedings of the IEEE, 77(4):541–580, April 1989.
K.M. Chandy and J. Misra. Distributed simulation: A case study in design and verification of distributed programs. IEEE Transactions on Software Engineering, 5(11):440–452, September 1979.
D.A. Jefferson. Virtual time. ACM Transactions on Programming Languages and Systems, 7(3):404–425, July 1985.
R.M. Fujimoto. Parallel discrete event simulation. Communications of the ACM, 33(10):30–53, October 1990.
A. Gafni. Rollback mechanisms for optimistic distributed simulation systems. In Proc. Conference on Distributed Simulation 1988, pages 61–67, California, 1988. Society for Computer Simulation.
Y.B. Lin and E.D. Lazowska. A study of the time warp rollback mechanism. ACM Transactions on Modeling and Computer Simulation, 1(1):51–72, January 1991.
B. Lubachevsky, A. Weiss, and A. Shwartz. An analysis of rollback based simulation. ACM Transactions on Modeling and Computer Simulation, 1(2):154–193, April 1991.
G.S. Thomas and J. Zahorjan. Parallel simulation of performance Petri nets: Extending the domain of parallel simulation. In B. Nelson, D. Kelton, and G. Clark, editors, Proc. 1991 Winter Simulation Conference, 1991.
D.M. Nicol and S. Roy. Parallel simulation of timed Petri nets. In B. Nelson, D. Kelton, and G. Clark, editors, Proc. 1991 Winter Simulation Conference, pages 574–583, 1991.
H.H. Ammar and S. Deng. Time warp simulation of stochastic Petri nets. In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, pages 186–195, Melbourne, Australia, December 1991. IEEE-CS Press.
M. Ajmone Marsan, G. Balbo, G. Chiola, G. Conte, S. Donatelli, and G. Franceschinis. An introduction to Generalized Stochastic Petri Nets. Microelectronics and Reliability, 31(4):699–725, 1991. Special issue on Petri nets and related graph models.
G. Balbo and G. Chiola. Stochastic Petri net simulation. In Proc. 1989 Winter Simulation Conference, Washington D.C., December 1989.
G. Chiola and A. Ferscha. Distributed discrete event simulation of timed Petri nets. Technical report, Austrian Center for Parallel Computation, Technical University of Vienna, 1993. to appear.
D. Jefferson and H. Sowizral. Fast concurrent simulation using the time warp mechanism. In P. Reynolds, editor, Proc. Conference on Distributed Simulation 1985, pages 63–69, La Jolla, California, 1985. Society for Computer Simulation.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chiola, G., Ferscha, A. (1993). Distributed simulation of timed Petri nets: Exploiting the net structure to obtain efficiency. In: Ajmone Marsan, M. (eds) Application and Theory of Petri Nets 1993. ICATPN 1993. Lecture Notes in Computer Science, vol 691. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56863-8_45
Download citation
DOI: https://doi.org/10.1007/3-540-56863-8_45
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56863-6
Online ISBN: 978-3-540-47759-4
eBook Packages: Springer Book Archive