德斯科 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 勒内·贝尔。 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) 按年份列出的引文