DSSZ-MC公司 swMATH ID: 1360 软件作者: 莫妮卡·海纳;马丁·施瓦里克;阿列克谢·托夫奇格里奇科 说明: DSSZ-MC–扩展Petri网的符号分析工具DSSZ-MC支持对有界位置/转移Petri网进行符号分析,这些Petri网通过读取、抑制、相等和重置弧进行扩展。不需要先前关于精确有界度的知识。它包含用于有效分析标准属性(有界性、活性、可逆性)和CTL模型检查的工具,这些工具建立在零抑制二进制决策图和区间决策图的面向对象实现之上。其主要特点是基于饱和的状态空间生成、强连接组件分析、死区分析和跟踪生成,以及通过有限后向可达性分析进行CTL模型检查。该工具适用于Windows、Linux和Mac/OS 主页: http://www-dssz.informatik.tu-cottbus.de/indexe.html?/software/mc.html 关键词: 扩展Petri网 相关软件: 清爽;科帕西;MoVisPP公司;ZBDD公司;智能_ 引用于: 5文件 全部的 前5名8位作者引用 三 莫妮卡·海纳 1 萨米·伊万格利斯塔 1 大卫·吉尔伯特 1 Hong,Silien先生 1 Fabrice Kordon公司 1 艾曼纽尔·帕维奥德·阿代特 1 马丁·施瓦克 1 阿列克谢·托夫奇格里奇科 2篇连载文章中引用 2 自然计算 1 理论计算机科学 在3个字段中引用 5 计算机科学(68至XX) 4 生物学和其他自然科学(92-XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文