德斯科 swMATH ID: 1223 软件作者： 马丁·费边（Martin Fabian）；安德斯·海尔格伦 描述： Desco–离散事件系统的教育和控制工具作者报告了一个软件套件，该软件套件的开发目的是便于操作状态自动机和Petri网进行管理器计算（以及其他）。这套软件工具包括图形自动机/Petri网绘制工具、基于命令行的自动机/Petri网操作工具和图形可视化工具。由N'gin（即数学操作引擎）和GUI（图形用户界面）组成的前两个工具（统称Desco，用于离散事件系统控制器）已在查尔默斯理工大学控制与自动化实验室开发。第三个工具是AT&T研究公司的通用图形绘制软件GrapViz，它与Desco紧密集成 主页： http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/ 关键词： 软件;自动机;Petri网;监理计算;绘图工具;操纵工具;图形可视化;德斯科;N'gin公司;图形用户界面;GrapViz公司 相关软件： UMDES公司;Uppaal公司 引用于： 4文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 Desco–离散事件系统的教育和控制工具。 Zbl 1047.93002号费边，马丁;安德斯·海尔格伦 2000 全部的 前5名14位作者引用 1 Boel，RenéK。 1 布莱恩·巴特勒（Brian E.Butler）。 1 曹锡仁 1 盖伊·科恩 1 何塞·爱德华多·里贝罗（JoséEduardo Ribeiro Cury） 1 费边，马丁 1 亚历山德罗·朱阿 1 列科·格里戈洛夫 1 安德斯·海尔格伦 1 蒋志斌 1 李，林 1 鲁迪、凯伦 1 van Schuppen，Jan H。 1 沃尔特·默里（Walter Murray），沃纳姆（Wonham） 2篇连载文章中引用 2 离散事件动态系统 1 国际生产研究杂志 在2个字段中引用 4 系统论；控制（93至XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文