基于Petri网的容错系统分层建模

摘要：

扩展Petri网的结构,将一般的控制管理系统改进为具有容错功能的控制管理系统,应用扩展Petri网对其进行分层建模,包括系统的基础层、检错层、恢复层.采用故障恢复策略并使用带有基于Petri网分层模型中状态标识的行为跟踪、行为检错和行为改错增加控制管理系统的容错功能,并分析了模型的正确性.

关键词：Petri网、容错、分层建模、检错

所属期刊栏目：36

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

资助基金：国家自然科学基金资助项目60773034,90818023,60803032;山东省科技发展计划基金资助项目2008GG30001024;山东科技大学2009-2010年度研究生创新基金资助项目YCA090319

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

页数：共3页

页码：39-41