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

基于PIPE软件的Petri网可视化工具的研究 田力群， 左德承， 高清娥， 杨孝宗 (哈尔滨工业大学计算机科学与技术学院，哈尔滨150001) 摘要：随着计算机的发展及应用，计算机系统的分析也变得更加复杂，采用常见的GSPN建模方式建立的 模型规模也越来越庞大．本文通过对现有开源GSPN分析工具PIPE的功能进行扩展，通过采用哈希表数据 结构方式提高其GSPN模块的分析速度和采用磁盘存储方式扩大其可分析状态个数，使PIPE可以支持大规 模GSPN模型的分析，从而使其分析大规模计算机系统模型成为可能． 关键词：Petri网；PIPE；GSPN；可视化工具 文章编号：0367—6234(2009)增刊1—0425—05 ofVisualToolforPetriNetBasedonPIPE Design TIAN ZUO GAO YANG Li—qun， De-cheng， Qin-ge， Xiao—zong of Instituteof (School 150001) ComputerScience＆Technology，HarbinTechnology，Harbin the and of of becomesmore Abstract：With developmentapplicationcomputer．theanalysiscomputersystem of is scalemodelwhichmodeledthe GSPNis on complex．The usingapproach gettinglarger．Basedexpanding GSPN toolfor hash for the of add tablesanddisk re- functionalityPIPE，theexistinganalysis opensource，we thematrixintothist001．These makePIPEcan of GSPN cording Q improvements giveanalyseslarge—scale models． tool Keywords：Petrinet；PIPE；GSPN；Visual 随着现代科学技术的发展，计算机系统的大 前已有很多Petri网工具软件，他们具有图形化的 小和复杂性已经从单个处理器上升到了多处理分 操作界面，能模拟Petri的运行，并对Petri网做出 布式处理器，从独立的系统上升到了工作组系统， 分析和验证．由伦敦大学计算机学院开发的Plat． form PetriNet 从小规模的程序运行上升到了大规模的资源共 IndependentEditor(PIPE)就是其中 享，从本地计算上升到了全球计算．如今的计算机 之一，这个独立的Petri网分析平台幢3基于Java 系统可能包含了多个处理器，多个通道并且可能 开发，源代码完全开放，但目前PIPE工具的 覆盖了很广的一部分区域．这些软件和硬件结合 GSPN分析能力还有待提高．为此，对PIPE的功 起来去完成某些特殊的任务．他们可能包含