FGDES provides a number of software tools to facilitate practical experiments in the field of discrete-event systems and supervisory control. We appreciate that our tools have been used and extended by several third parties. On this download page, we distribute out software as precompiled binaries and, where applicable, as source code. For selected tools the latter can also be found on GitHub.


The libFAUDES source code is licensed under conditions of the LGPL.

All other software or documents in the FAUDES archive are subject to copyright and licensing as individually stated. In particular, earlier versions of projects with a graphical user interface are bundled with Qt libraries in an Academic License version and therefore are limited to educational, non-commercial research and/or administrative purposes. Let us know, if you have other license requirements.