SUMO is a microscopic, multi-modal traffic simulation.
A multi-modeling and simulation environment to study complex systems
Eclipse-based IDE for design verification tasks
Travel Market Simulator
Examples for the aXBench.
Python-based GUI for discrete-event system modeling and simulation