The goal is to develop methods for analyzing models via means of simulation, mathematical analysis, or logical verification that are suitable to address the many challenges of regenerative systems.  In this context different simulators, including parallel, distributed simulators, shall be combined and shall be flexibly exchanged.  In setting up and evaluating simulation experiments visualization will be of central importance. The relation between simulation and verification in achieving a better understanding of the system under study shall be explored as well.