工艺品 swMATH编号： 1021 软件作者： 伊万·波利亚科夫；丹尼尔·索科洛夫；安德烈·莫霍夫 描述： 可靠的高级建模结构对高效异步电路的设计至关重要。静态数据流结构（SDFS）等概念通过将电路结构和功能与低层实现细节分离，极大地促进了设计过程。除了提供更抽象、更高级的视图外，SDFS还允许通过将其转换为保留行为等效性的Petri网来进行有效的电路分析。一旦得到等价的Petri网，就可以应用现有的理论和工具库来进行模型验证。然而，SDFS设计的最新进展主要是理论上的。没有实用的软件工具可用于以一致的方式处理不同的SDFS模型，并为其分析和比较提供手段。本文介绍了一个工具，旨在提供一个通用的跨平台环境来帮助完成上述任务。该工具为不同SDFS类型的可视化编辑、实时仿真、动画和可扩展分析功能提供了一个基于GUI的框架。模型本身以及支持工具都是作为插件实现的。 主页： http://rd.springer.com/chapter/10.1007/978-3-540-73094-1_30 相关软件： VIP工具;基因;石化;正式舞会;红矿工;TINA公司;基础知识 引用于： 4文件 全部的 前5名10位作者引用 1 艾沙·艾哈迈德 1 段振华 1 马西耶·库特尼 1 安德烈·莫霍夫 1 Marta Pietkiewicz-Koutny 1 埃尔南·蓬塞·德莱昂 1 布莱恩·兰德尔 1 施、雅 1 田聪 1 周梦初 3篇连载文章中引用 1 信息科学 1 理论计算机科学 1 系统设计中的形式化方法 在2个字段中引用 4 计算机科学（68至XX） 1 有序，格，有序代数结构（06-XX） 按年份列出的引文