基于PIPE软件的Petri网可视化工具的研究

摘要：

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

关键词： Petri网 PIPE软件 开源GSPN分析工具 可视化工具 哈希表数据结构

作者: 田力群 左德承 高清娥 杨孝宗

作者单位: 哈尔滨工业大学 计算机科学与技术学院，哈尔滨 150001

会议类型: 国内会议

会议名称: 第十三届全国容错计算学术会议

会议地点: 海拉尔

会议语种:中文

页码: 425-429

在线出版日期: 2009-07-20（万方平台首次上网日期，不代表论文的发表时间）