×

兹马思-数学第一资源

greatspn1.7:用于定时和随机Petri网的图形编辑器和分析器。(英语) 68ZB6675升
摘要:本文描述了greatspn1.7软件包,用于使用广义随机Petri网及其有色扩展对分布式系统进行建模、验证和性能评估。该工具为实验基于时间Petri网的建模技术提供了一个友好的框架。它实现了高效的分析算法,允许它在“真实”的应用程序上使用,而不仅仅是玩具示例。它是由一所大学为非营利目的开发的,免费分发给其他大学用于教育和研究。对软件包的完整体系结构进行了概述,并给出了应用实例。然后介绍了各个分析和仿真模块。

理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
68U20型 模拟(MSC2010)
PDF格式 BibTeX公司 XML 引用
全文: 内政部