Lista de softwares para Sistemas a Eventos Discretos

Lista de ferramentas para projeto de Sistemas a Eventos Discretos:

• TCT: é uma poderosa ferramenta com diversos algoritmos associados com W.M. Wonham. Sua desvantagem é ser um editor por linha de comando e pouco intuitivo, embora tenha processamento rápido, o que permite cálculos de supervisores complexos que outras ferramentas não suportam.
• DESUMA: integra UMDES-LIB e GIDDES e com isso possui um editor visual para os autômatos e também permite cálculos relacionados a diagnose de falhas.
• IDES: a melhor interface gráfica para representação dos autômatos e cálculo do supervisor.
  • Artigo de apresentação da ferramenta
• DEStool: a melhor ferramenta. Boa interface para representação dos autômatos e muitos algoritmos (inclusive relacionados com diagnóstico de falhas). Os algoritmos são providos pela libFAUDES, uma biblioteca escrita em C++ e open source (LGPL). Um recurso de grande valia é o suporte a scripts.
• Nadzoru: ferramenta um pouco custosa para poder rodar, mas com diversos diferenciais em sua interface.

Algumas ferramentas que encontrei em outras indicações, mas que não utilizei:

• DESpot: a new discrete-event system (DES) software research tool. It supports both flat projects (collection of plant and supervisor DES), and Hierarchical Interface-Based Supervisory Control (HISC) projects.
• : a tool for verification and synthesis of discrete event supervisors.