Welcome to the Desuma Wiki!
Using DESUMA Software to Model Discrete Event Systems. Feedback is important! Please post in the forum or comment on a page if you have suggestions!
Desuma is an integration of the UMDES library with the graphical environment for visualizing dsicrete event systems, called GIDDES(written in Java), developed at Mount Allison University. DESUMA allows the user to perform a variety of manipulations of discrete event systems modeled by FSAs related to model-building, fault diagnosis, verification, control under full and partial observation, and decentralized control.
Head to the Software Library page for more information regarding downloading DESUMA.