基于Petri网的软件维护过程建模及应用分析

摘要：

软件维护过程建模是实现过程改进、合理分配资源、提高维护效率的基础,它在越来越多的软件需要更新换代的今天更为重要。提出了采用形式化的建模工具Petri网来描述维护过程,从而可以利用Petri网的分析方法,如可达图,不变量对维护过程进行分析。在此基础上,关注Petri网中各变迁的触发时刻,估算维护周转时间、资源利用率等指标,从而为维护过程的优化和改进提供决策上的支持。

关键词： Petri网 软件维护 过程建模 决策 资源分配 可达图

作者: 丁剑洁 侯红 郝克刚

作者单位: 西北大学信息科学与技术学院 西安 710027;陕西教育学院 西安 7l0061 西北大学信息科学与技术学院 西安 710027

会议类型: 国内会议

会议名称: 第十一届全国Petri网理论与应用学术年会

会议地点: 大连

会议语种:中文

页码: 55-57,61

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