Uma Metodologia para Modelagem Multinivel e Simulacao de Sistemas de Computacao por Redes de Petri

(A Methodology for Multilevel Modeling and Simulation of Computer Systems Using Petri Nets)

Master's dissertation - University of Sao Paulo
Work done while at Laboratorio de Sistemas Integraveis (LSI) and Laboratorio de Arquitetura e Redes de Computadores (LARC)
Advisor: Wilson Ruggiero






Abstract

Modeling and simulation is increasingly becoming a common procedure for performance analysis of computer systems. One technique that has been successfully used for performance analysis of computer systems are the timed Petri nets.
In this work we developed a multilevel modeling and solution methodology, and a simulation methodology for Petri nets which includes a simulation algorithm for generic timed Petri nets and computation of performance indices, and a methodology for managing this type of simulation. A tool that offers support for the implementation of these methodologies was also developed.
Using the methodologies and the tool, we developed two case studies and one example of a queueing system for which there are known analytical and exact results. For the case study of a multithreaded computer architecture, we modeled the processors and the memory subsystem, and we verified the behavior of this type of architecture for different degrees of multithreading in the processors. For the case study of a data communication system, we developed models for a CSMA/CD network and for a client-server database system, and we verified the behavior of the system for different configurations of the network.

Publications (sorted by date)

  • Prefetching and Multithreading Performance on a Bus-based Multiprocessor with Petri Nets
    Edward Moreno, Sergio T. Kofuji, and Marcelo H. Cintra
    Euro-Par 97, August 1997.
  • A Simulation Technique for Performance Evaluation of Generic Petri Net Models of Computer Systems
    Marcelo H. Cintra and Wilson V. Ruggiero
    XXIII Seminario Integrado de Software e Hardware (SEMISH), August 1996
  • Performance Evaluation with Petri Nets of a Bus-based Multithreaded Multiprocessor
    Marcelo H. Cintra and Wilson V. Ruggiero
    VIII Brazilian Symposium on Computer Architecture (SBAC), p 37-46, August 1996
  • A Tool for Modeling and Simulation of Computer Architectures Using Petri Nets
    Marcelo H. Cintra and W. V. Ruggiero
    VII Brazilian Symposium on Computer Architecture (SBAC), p 581-594, August 1995
  • Aneis e Hierarquias de Aneis com Interconexoes ANSI/IEEE SCI
    Sergio T. Kofuji, Carlos A. Martins, Luis G. Kiatake, Marcelo H. Cintra, and Joao A. Zuffo
    VII Brazilian Sumposium on Computer Architecture (SBAC), p 11-25, August 1995
  • An Optmized Technique for Image Manipulation in Multimedia Distributed Systems
    Carlos A. Martins, Luis G. Kiatake, Marcelo H. Cintra, and Sergio T. Kofuji
    Nipo-Brazilian Symposium on Science and Technology, p 236-244, August 1995
  • Introduction to Multimedia Distributed Systems
    Luis G. Kiatake, Carlos A. Martins, Marcelo H. Cintra, and Joao A. Zuffo
    Nipo-Brazilian Symposium on Science and Technology, p 245-254, August 1995

    Back to Work Page
    Last modified: September 02 2004