德斯科

DESCO——一种用于离散事件系统的教育和控制的工具,作者报告了一个软件套件,该软件套件已经开发用于促进状态自动机和Petri网对监督者计算的操纵(除其他事项外)。这套软件工具包括图形自动机/ Petri网绘图工具,基于命令行的自动机/ Petri网操作工具和图形可视化工具。两个第一工具(联合命名为DESCO,用于离散事件系统控制器),由N'GIN(即数学操纵引擎)和GUI(图形用户界面)组成,已经在查尔默斯技术大学的控制和自动化实验室开发。第三个工具是AT&T研究公司的通用图形绘制软件GrapViz,它与Desco紧密结合。