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

Application of Coloured Petri Nets in Parallel Test

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

Parallel test technologies plays an important role for advancing the development of science, now science and technology devel- opment and solution the problem of engineering, which can not be separated by parallel processing technology. Traditional method of serial testing and serial scheduling method increasingly reflect its limitations. Make parallel test scheduling and modeling method as main contents,base on parallel task scheduling algorithm and colored petri net,set up a parallel test model on case. At last the model＇ s character such as boundedness,liveness, fairness was verified by colored petri net reachability tree. Test results prove that it is correct to set up that model, the method solves the difficult problem of parallel test model, give a new method of modeling complex systems.