+ 7 September 2003 + Electrical circuit testing + Electric Power Grid - logic level (on/off) - power level + Traffic simulation - fluid models vs. discrete event models - library of re-usable DEVS components - animation - performance analysis (e.g., an "optimal" car pooling system to reduce the amount of traffic entering/exiting downtown Montreal) - automated proof of deadlock (in for example a grid) using Petri Nets - hybrid models (e.g., of cars overtaking on the highway) + Weather forecasting (PDEs) + The life-cycle of (office) personnel + Simulation of network traffic over a local/wide area network - for performance analysis (discrete event, fluid) - for protocol analysis (Petri Net, Sequence Diagram, Statechart) protocol examples: TCP/IP, SMTP + Visually modelling a simple programming language (syntax and operational semantics). Could be used as a teaching tool. (see for example http://www.cs.odu.edu/~zeil/algae.html) + Air traffic control Discrete Event model of the Frankfurt region airspace (real data available from Deutsche Flugsicherung (DFS)) + Simulating the growth of a forest (Cellular Automata) + Crowd simulation (e.g., emergency evacuation of a building, group of pedestrians, an army) + Modelling and simulation of breakable (physical) object (hybrid ?) Rendering/animation in POV-RAY/OpenGL More general: animation of simulation traces + Model and simulate the (discrete event) activity of a clothing warehouse. + Simulation of the (discrete-event) behaviour of user interfaces. + Garbage Collection algorithm simulator + Modelling and simulation of neural networks with time delay + Call Center modelling and simulation