一种基于Petri网的自动测试系统死锁预防策略
Method for the Deadlock-free of Automatic Test System Based on the Petri Net
针对自动测试系统中多任务并行测试复杂，容易出现死锁现象的问题，提出一种基于Petri网的死锁预防策略。首先为自动测试系统建立一个Petri网模型，然后将Petri网的状态方程作为约束条件，求出模型的发射序列即系统中无死锁的任务调度路径。Petri网的发射序列求解一直是NP问题，针对这种情况，引入遗传算法对可行解空间进行搜索。
ppoint to the parallel test process is complex and the deadlock often happens in the automatic test system(ATS), a new method based on the Petri net is used to prevent the deadlock. In the method, a Petri Net model of ATS set up at first. Then in order to find the firing sequence without deadlock, the genetic algorithm is used. The firing sequence of the Petri net is also the task scheduling sequence without deadlock of ATS.
陈光礻禹、马敏
自动化技术、自动化技术设备
自动测试系统 并行测试 死锁 Petri网 遗传算法
S Parallel test Deadlock Petri net Genetic algorithm
陈光礻禹,马敏.一种基于Petri网的自动测试系统死锁预防策略[EB/OL].(2006-10-25)[2025-08-19].http://www.paper.edu.cn/releasepaper/content/200610-382.点此复制
评论