GreatSPN Framework 3.0版 GreatSPN（GR aphicalËditor和A对于T nalyzer IMED和S tochastic P ETRIÑETS）是一个软件包，用于建模，验证，并使用广义随机Petri网和它们的着色扩展分布式系统的性能评价，随机合式篮网。 该工具提供了一个友好的框架，可用于试验基于时间Petri网的建模技术。 它实现了有效的分析算法，可在相当复杂的应用程序上使用。 如何在您的PC上编译和安装GreatSPN。 可以编译GreatSPN并将其安