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

• 作者: 刘久富 娄坚波 李金奎 王伟
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 有色petri网 并行测试 可达树
• 年，卷（期）: 2011,（1）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 9-11,15
• 分类号: TP311
• 字数: 2754字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2011.01.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘久富	南京航空航天大学自动化学院	53	207	8.0	11.0
2	王伟	南京航空航天大学自动化学院	62	235	7.0	13.0
3	娄坚波	南京航空航天大学自动化学院	3	15	2.0	3.0
4	李金奎	南京航空航天大学自动化学院	3	15	2.0	3.0