Documentation/en

= Platform Documentation =

A bit of Theory

 * The Discrete EVent system Specification DEVS formalism.

Courses and training
Training materials (in french) for VLE 0.8
 * Guide d'installation de VLE
 * Savoir « lire » le C++ (introduction succincte au C++)
 * Cours sur les extensions DEVS (équations aux différences, statecharts, décision etc.)
 * Cours sur l'utilisation de GVLE
 * Explication de l'environnement VLE (introduction à VLE, lien entre DEVS et VLE)
 * Cours sur la modélisation et la simulation
 * Cadres expérimentaux


 * Old documentations (in french)

Using VLE

 * GVLE: the modeler interface (create model structure, experimental plan, lunch simulations...)
 * VLE: the simulation engine
 * OOV: the Output Of VLE.
 * EOV: the graphical interface for the real time output visualization of simulation results.


 * Définition des paquets: What is a package? What commands to use them?

Scripting

 * RVLE : using VLE within the R environment.
 * PyVLE : use Python language to write scripts to drive experiments with models made with VLE and to design Web applications with Python frameworks (like Pylons, for example).

= Model development =

DEVS atomic model

 * Atomic model development : how to write atomic model with VLE ? Description of each function of the functional interface of the atomic model of VLE.
 * Executive model development : how to make models that manipulate the structure of your models?
 * Model debugging : description of tools to help debug models.

Extensions
DEVS is a high level formalism that has the ability to encapsulate other formalisms. VLE allows you to use several formalisms in DEVS framework:
 * Ordinary Differential Equations: QSS based on quantization and DESS a wrapping of classical numerical schema like Runge-Kunta, by example.
 * Cellular automaton : CellDevs.
 * Difference equation: DifferenceEquation.
 * Petrinet : PetriNet.
 * Discrete and finite state automaton: Moore and Mealy machines, FDDevs and statechart : FSA.
 * Decision making: an extension of execution of activities plan based on conditional, temporal and precedents constraints.