GreatSPN Framework 3.0版
GreatSPN(GR aphicalËditor和A对于T nalyzer IMED和S tochastic P ETRIÑETS)是一个软件包,用于建模,验证,并使用广义随机Petri网和它们的着色扩展分布式系统的性能评价,随机合式篮网。 该工具提供了一个友好的框架,可用于试验基于时间Petri网的建模技术。 它实现了有效的分析算法,可在相当复杂的应用程序上使用。
如何在您的PC上编译和安装GreatSPN。
可以编译GreatSPN并将其安装在大多数POSIX兼容系统上。 该框架需要在计算机上安装几个依赖项才能进行编译。
Linux / Unix安装说明:
为了从源代码编译和安装GreatSPN,您需要执行以下步骤。 首先,安装以下依赖项(将开发人员包与头文件一起使用):
gcc和g ++(支持C ++ 14)
自动工具(aut
2022-03-09 13:14:38
30.23MB
C++
1