文件名称：gspn-framework:允许设计，执行和分析广义随机Petri网（GSPN）的框架
文件大小：39KB
文件格式：ZIP
更新时间：2024-05-28 09:36:48
analysis petri-nets ctmc stochastic-petri-nets discrete-event-systems
GSPN框架 允许使用广义随机Petri网（GSPN）设计，执行和分析系统的框架。 这是一个Python框架，可对设计的GSPN进行逻辑和性能分析，从而提供： 可达性； 有界; 安全和僵局； 过渡吞吐率； 一个位置中有k个令牌的可能性； 某个地方的预期代币数量； 所有状态的转移概率的演变； 地方的平均等待时间； 广义随机Petri网既可以使用此框架进行手动设计，也可以从提供GUI界面的其他工具（例如导入。 可以模拟设计的Petri网络（令牌游戏），在该网络中，每次过渡时网络的演化都会更新。 可覆盖性树和等效连续时间马尔可夫链（CTMC）也可以获取并可视化。 设置 pip install -r requirements.txt --upgrade 运行示例 要运行一个显示框架的某些分析功能的示例，请运行： python example_analysis.py 要运行一个
【文件预览】：
gspn-framework-master
----multi_escort_run.xml(28KB)
----gspn_analysis.py(25KB)
----gspn_execution.py(1KB)
----example_execution.py(2KB)
----LICENSE(34KB)
----gspn_tools.py(12KB)
----requirements.txt(52B)
----.gitignore(1KB)
----gspn.py(37KB)
----README.md(1KB)
----example_analysis.py(15KB)
----rvary_escort_run.xml(12KB)