SOURCES:GreatSPN框架的主要存储库 源码

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