Parallel and distributed simulation of free choice Petri Nets

Authors:
François Baccelli;Nathalie Furmento;Bruno Gaujal
Affiliations:
INRIA Sophia-Antipolis, BP 93, 06902 Sophia-Antipolis, France;INRIA Sophia-Antipolis, BP 93, 06902 Sophia-Antipolis, France;INRIA Sophia-Antipolis, BP 93, 06902 Sophia-Antipolis, France
Venue:
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
Year:
1995

Citing 6
Cited 2

Virtual time

ACM Transactions on Programming Languages and Systems (TOPLAS)
Algorithms for unboundedly parallel simulations

ACM Transactions on Computer Systems (TOCS)
Parallel simulation of stochastic Petri nets using recurrence equations

ACM Transactions on Modeling and Computer Simulation (TOMACS)
A sweep algorithm for massively parallel simulation of circuit-switched networks

Journal of Parallel and Distributed Computing - Special issue on parallel and discrete event simulation
Asynchronous distributed simulation via a sequence of parallel computations

Communications of the ACM - Special issue on simulation modeling and statistical computing
Distributed Simulation of Timed Petri Nets: Exploiting the Net Structure to Obtain Efficiency

Proceedings of the 14th International Conference on Application and Theory of Petri Nets

Adaptive Time Warp Simulation of Timed Petri Nets

IEEE Transactions on Software Engineering
Time Warp Simulation of Timed Petri Nets Sensitivity of Adaptive Methods

PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we present two new methods to simulate Petri Nets: a data parallel simulation and a distributed simulation. Both simulations use an equational representation of the net in the so called (min, +) algebra. The data parallel simulation is based on the use of matrix representation of these equations, and the distributed simulation on the decomposition of a Petri Net into marked graph components.