论文部分内容阅读
随着计算机的发展及应用，计算机系统的分析也变得更加复杂，采用常见的GSPN建模方式建立的模型规模也越来越庞大。本文通过对现有开源GSPN分析工具PIPE的功能进行扩展，通过采用哈希表数据结构方式提高其GSPN模块的分析速度和采用磁盘存储方式扩大其可分析状态个数，使PIPE可以支持大规模GSPN模型的分析，从而使其分析大规模计算机系统模型成为可能。