Parallel simulation of petri nets on desktop pc hardware (ACM)
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.
Paper available at ACM.