Advertisement

Distributed simulation of timed Petri nets: Exploiting the net structure to obtain efficiency

  • Giovanni Chiola
  • Alois Ferscha
Full Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 691)

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.

Keywords

Discrete Event Simulation Communication Interface Minimum Region Simulation Engine Input Place 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    T. Murata. Petri nets: properties, analysis, and applications. Proceedings of the IEEE, 77(4):541–580, April 1989.Google Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    D.A. Jefferson. Virtual time. ACM Transactions on Programming Languages and Systems, 7(3):404–425, July 1985.Google Scholar
  4. 4.
    R.M. Fujimoto. Parallel discrete event simulation. Communications of the ACM, 33(10):30–53, October 1990.Google Scholar
  5. 5.
    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.Google Scholar
  6. 6.
    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.Google Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    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.Google Scholar
  9. 9.
    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.Google Scholar
  10. 10.
    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.Google Scholar
  11. 11.
    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.Google Scholar
  12. 12.
    G. Balbo and G. Chiola. Stochastic Petri net simulation. In Proc. 1989 Winter Simulation Conference, Washington D.C., December 1989.Google Scholar
  13. 13.
    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.Google Scholar
  14. 14.
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Giovanni Chiola
    • 1
  • Alois Ferscha
    • 2
  1. 1.Dipartimento di InformaticaUniversità di TorinoTorinoItaly
  2. 2.Institut für Statistik und InformatikUniversität WienViennaAustria

Personalised recommendations