A Simulator for Stochastic Regulated Systems

SIMSTORS is a software for the simulation of stochastic concurrent timed systems. The software allows for fast simulation of specifications described using a variant of stochasitc Petri nets, and guided by a controller. The implementation was performed during the Master internship of Karim Kecir in the SUMO team.

The models used by SIMSTORS are particularly adapted to represent systems with randomness, parallelism, tasks scheduling, and resources. SIMSTORS was originally used to model urban train networks in the context of the joint ALSTOM INRIA P22 Project.