Usual Parallel Discrete Event System Specification (P-DEVS) allows specifying systems from modeling to simulation. However, the framework does not incorporate parallel and stochastic simulations. This work intends to extend P-DEVS to parallel simulations and pseudorandom number generators in the context of a spiking neural network. The discrete event specification presented here makes explicit and centralized the parallel computation of events as well as their routing, making further implementations easier. It is then expected to dispose of a well defined mathematical and computational framework to deal with networks of spiking neurons.
['Alexandre Muzy', 'Matthieu Lerasle', 'Franck Grammont', 'Van Toan Dao', 'David R. C. Hill']
Parallel and pseudorandom discrete event system specification vs. networks of spiking neurons: Formalization and preliminary implementation results