gspn-framework:允许设计，执行和分析广义随机Petri网（GSPN）的框架

GSPN框架 允许使用广义随机Petri网（GSPN）设计，执行和分析系统的框架。 这是一个Python框架，可对设计的GSPN进行逻辑和性能分析，从而提供： 可达性； 有界; 安全和僵局； 过渡吞吐率； 一个位置中有k个令牌的可能性； 某个地方的预期代币数量； 所有状态的转移概率的演变； 地方的平均等待时间； 广义随机Petri网既可以使用此框架进行手动设计，也可以从提供GUI界面的其他工具（例如导入。 可以模拟设计的Petri网络（令牌游戏），在该网络中，每次过渡时网络的演化都会更新。 可覆盖性树和等效连续时间马尔可夫链（CTMC）也可以获取并可视化。 设置 pip install -r requirements.txt --upgrade 运行示例 要运行一个显示框架的某些分析功能的示例，请运行： python example_analysis.py 要运行一个