######################################################
Tutorial Using the Infobiotics Modelling Language
######################################################

With this tutorial you will learn how to use the **Infobiotics workbench** using its own modelling language for the specification of your models. We will illustrate its different features using an example comparing three basic gene regulatory mechanisms, namely, **gene unregulated expression (UnReg)**, **positive autoregulation (PAR)** and **negative autoregulation (NAR)**.  

The example used in the tutorial can be downloaded from this link: `autoregulation model <http://www.infobiotics.org/infobiotics-workbench/various/autoregulation.zip>`_. Please download and extract it to your favourite location.

The links below will guide you through the different features of our workbench. Video tutorials are available in each section to show you how to use the different components. 

.. toctree::
   :maxdepth: 1

   modelSpecification
   modelSimulation
   modelChecking
   optimisation

For a complete description of the different components of **Infobiotics Workbench** please read our `documentation <http://www.infobiotics.org/infobiotics-workbench/completeDocumentation/completeDocumentation.html>`_.