德斯科

Desco——一个用于教育和控制离散事件系统的工具。作者报告了一个软件套件,它被开发用来促进状态自动机和Petri网的操作,用于管理器计算(等等)。这套软件工具包括图形自动机/Petri网绘图工具、基于命令行的自动机/Petri网操作工具和图形可视化工具。Chalmers理工大学控制与自动化实验室开发了第一批两个工具(联合命名为Desco,用于离散事件系统控制器),包括N'gin(即数学操作引擎)和GUI(图形用户界面)。第三个工具是一个通用图形绘制软件graviz,来自AT&T research,它与Desco紧密集成