一种基于Petri网的模型调度方法  

A Solution Based on Petri Net for Model Schedule

作　　者：肖景[1] 郑秋华[1,2] 

机构地区：[1]杭州电子科技大学图形图像研究所,杭州310018 [2]浙江省信息安全重点实验室,杭州310018

出　　处：《科技通报》2011年第2期186-189,194,共5页Bulletin of Science and Technology

摘　　要：针对软件模型的时间约束能力不强以及形式化验证复杂的问题,本文提出一种基于Petri网的形式化模型调度方法,从时间层次上对模型的合理性进行验证与分析。该方法通过构建系统领域模型到Petri网模型的转换规则,利用Petri网的分析验证技术,实现对软件模型的正确性验证,解决了系统建模时存在的问题。应用实例和实验结果验证了该方法的有效性和可行性。In view of the problems such as the weak of time restriction description of the created model and the validation difficulty. A paper proposes a method based on the Petri net＇s formalized model dispatch, which analyses and validates the model rationality from the time level. The paper sets the transformation rules between the system domain models and the Petri net models, which verifies the correctness of the software model and solves the problem of system modeling. Application instances and the experimental results show that the method is feasible and effective.

关 键 词：PETRI网 模型验证 调度分析 形式化 

分 类 号：TP393.06[自动化与计算机技术—计算机应用技术]