Parallel simulation of stochastic Petri nets using recurrence equations
ACM Transactions on Modeling and Computer Simulation (TOMACS)
State of the art in parallel simulation
WSC '92 Proceedings of the 24th conference on Winter simulation
Time-parallel simulation of cascaded statistical multiplexers
SIGMETRICS '94 Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Hi-index | 0.00 |
Petri nets provide a powerful modeling formalism, which allows one to describe and study various classes of systems, such as synchronous and asynchronous processes, and/or parallel or sequential ones.We present below a software package, currently under development, that allows the user to specify a stochastic marked graph [1] using either a graphical interface or a specification language. From this specification a simulation program for a Single Instruction Multiple Data (SIMD) parallel machine is generated. A Connection Machine 2 (CM2) is used as the architecture for running this program.