Documentation

Theoretical background on the models in this workbench can be found in the readers for the course 5xie0, computational modeling.

Note that the readers are only accessible when you are logged in to the web page.

Readers (2021 version)

The course lecture notes of the 2021 edition of the course 5XIE0 are available vie the link below.

Reader: 5xie0-reader.pdf

Documentation Pages

The workbench provides tools and algorithms related to three domains of models-of-computation

Select one of the following topics for more information.

• Introduction
• Syntax
• Languages
• Markov Chains
• Max-plus-linear Systems
• Workbench