Simulação Paralela de Redes de Petri
Abstract
Petri nets (PN) have been widely used to model novel computer systems. They can naturally represent important features of these systems, such as: concurrency, synchronization and blocking. Stochastic Petri Nets (SPN) add the notion of time to the original Petri net model. SPN is an appropriate model to represent performance of computer systems. However, in some cases, due to the combinatorial explosion of the state space of the model, an analytic solution of the Petri net becomes unfeasible. Thus, simulation appears as an alternative solution to solve large Petri net models. This article presents a way of using many processors in parallel to obtain a solution to RP models.
References
M. A. Marsan Performance Models of Mutiprocessor Systems, MIT Press Series in Computer Systems, 1986.
M. K. Molloy Fundamentals of Performance Modeling, Macmillan Publishing Company, New York, 1989.
M. K. Molloy On the Integration of Delay and Throughput Measures in Distributed Processing Models, Ph.D. Thesis, University of California, Los Angeles, 1981.
J. L. Peterson Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, N. J., 1981.
3. L. Peterson Petri Nets, Computin Surveys, vol.9, No. 3, September 1977.
M. M. Oliveira Um ambiente de simulação para solução de modelos de redes de Petri estocásticas e generalizadas, Relatório Técnico 90, Departamento de Ciência da Computação, UFMG, 1990.
R. M. Fujimoto Parallel discrete event simulation, Communications of the ACM, vol.33, No. 10, October 1990.
K. M. Chandy and J. Misra Asynchronous distributed simulation via a sequence of parallel computations, Communications of the ACM, vol.24, No. 4, April 1981.
M. A. Marsan, G. Conte and G. Balbo A Class of Generalized Stochastic Petri Net for the Performance Evaluation of Multiprocessor, ACM transactions on Computer Systems, vol.2, No. 2, May 1984.
G. Thomas Parallel Simulation of Petri Nets, Departament of Computer Science, TR 91-05-05, University of Washington.
M. K. Molloy Fundamentals of Performance Modeling, Macmillan Publishing Company, New York, 1989.
M. K. Molloy On the Integration of Delay and Throughput Measures in Distributed Processing Models, Ph.D. Thesis, University of California, Los Angeles, 1981.
J. L. Peterson Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, N. J., 1981.
3. L. Peterson Petri Nets, Computin Surveys, vol.9, No. 3, September 1977.
M. M. Oliveira Um ambiente de simulação para solução de modelos de redes de Petri estocásticas e generalizadas, Relatório Técnico 90, Departamento de Ciência da Computação, UFMG, 1990.
R. M. Fujimoto Parallel discrete event simulation, Communications of the ACM, vol.33, No. 10, October 1990.
K. M. Chandy and J. Misra Asynchronous distributed simulation via a sequence of parallel computations, Communications of the ACM, vol.24, No. 4, April 1981.
M. A. Marsan, G. Conte and G. Balbo A Class of Generalized Stochastic Petri Net for the Performance Evaluation of Multiprocessor, ACM transactions on Computer Systems, vol.2, No. 2, May 1984.
G. Thomas Parallel Simulation of Petri Nets, Departament of Computer Science, TR 91-05-05, University of Washington.
Published
1993-09-07
How to Cite
OLIVEIRA, Adriana de Andrade; WONG, Hao Chi; MEIRA JÚNIOR, Wagner; ALMEIDA, Virgilio A. F..
Simulação Paralela de Redes de Petri. In: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 5. , 1993, Florianópolis/SC.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1993
.
p. 232-242.
DOI: https://doi.org/10.5753/sbac-pad.1993.23035.
