UltraDES is a library of functions and data structures for analysis and control of Discrete Event Systems based in the .NET Framework. The main objective is to create an environment for the implementation of algorithms for Discrete Event Systems, as well as the integration of these algorithms and codes in the fields of IT (Information Technology) and AT (Automation Technology).

The library is open-source and is available   HERE.