有色Petri网在并行测试建模中的应用

摘要：

并行测试技术对推动科学的发展起着重要作用,如今科学技术的发展和工程问题的解决都离不开并行处理技术.传统的串行测试方法和串行任务调度方法日益体现出了它的局限性.文中将并行测试调度与建模方法作为主要研究内容,以并行任务调度算法为基础,依据有色petfi网的建模理论与方法,建立了基于实例的并行测试系统有色Petri网模型,用有色Petri网的可达树方法分析验证所建立模型的有界性、活性、公平性.验证结果证明了所建模型的正确性,解决了并行测试建模难的问题,提出了一种新的对复杂系统的建模方法.

关键词：有色petri网、并行测试、可达树

所属期刊栏目：21

分类号：TP311(计算技术、计算机技术)

资助基金：南京航空航天大学青年科学创新基金NS2010069

在线出版日期：2011-05-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：9-11,15