ACM Transactions on Computer Systems (TOCS)
Parallel simulation of stochastic Petri nets using recurrence equations
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Concurrent execution of timed Petri nets
WSC '94 Proceedings of the 26th conference on Winter simulation
WSC '94 Proceedings of the 26th conference on Winter simulation
Analysis of stochastic Petri nets by the method of supplementary variables
Performance '93 Proceedings of the 16th IFIP Working Group 7.3 international symposium on Computer performance modeling measurement and evaluation
Markov regenerative stochastic Petri nets
Performance '93 Proceedings of the 16th IFIP Working Group 7.3 international symposium on Computer performance modeling measurement and evaluation
Parallel simulation of performance Petri nets: extending the domain of parallel simulation
WSC '91 Proceedings of the 23rd conference on Winter simulation
Parallel simulation of timed Petri-nets
WSC '91 Proceedings of the 23rd conference on Winter simulation
Asynchronous distributed simulation via a sequence of parallel computations
Communications of the ACM - Special issue on simulation modeling and statistical computing
On Petri nets with deterministic and exponentially distributed firing times
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Transient Analysis of Deterministic and Stochastic Petri Nets
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
A multigrid solver for boundary value problems using programmable graphics hardware
Proceedings of the ACM SIGGRAPH/EUROGRAPHICS conference on Graphics hardware
Proceedings of the ACM SIGGRAPH/EUROGRAPHICS conference on Graphics hardware
Sparse matrix solvers on the GPU: conjugate gradients and multigrid
ACM SIGGRAPH 2003 Papers
EGSR'04 Proceedings of the Fifteenth Eurographics conference on Rendering Techniques
High Performance Hybrid Functional Petri Net Simulations of Biological Pathway Models on CUDA
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Approximate parallel simulation of web search engines
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
| Hi-index | 0.00 |
A comparatively simple approach to highly parallel simulation of Petri nets on commodity, desktop PC hardware is suggested. A mapping, described in the programming language Cg, of Petri net semantics to the SIMD architecture of NVidia 5-series and 6-series GPUs is provided, and a prototype simulator is tested on both conflict-intensive and conflict-free Petri net models. In all cases, the prototype parallel simulator is seen to deliver substantial performance gains over its serial counterparts. Limitations of the approach and open design issues are also described.