DESUMA: A Tool Integrating GIDDES and UMDES
Laurie Ricker, Stéphane Lafortune, Şahika Genç · 2006
The key features of the software tool DESUMA for the study of discrete event systems modeled by finite-state automata are highlighted. DESUMA is the tool resulting from the integration of the UMDES library of routines for the study of discrete event systems (developed at the University of Michigan) within the graphical environment for visualizing discrete event systems (developed at Mount Allison University)