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

Layer Modeling of Fault-tolerant System Based on Petri Nets

作　　者：周月明[1] 杜玉越[1,2] 刘伟[1] 

机构地区：[1]山东科技大学信息科学与工程学院,青岛266510 [2]中国科学院计算机科学国家重点实验室,北京100080

出　　处：《计算机工程》2010年第2期39-41,共3页Computer Engineering

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

摘　　要：扩展Petri网的结构,将一般的控制管理系统改进为具有容错功能的控制管理系统,应用扩展Petri网对其进行分层建模,包括系统的基础层、检错层、恢复层。采用故障恢复策略并使用带有基于Petri网分层模型中状态标识的行为跟踪、行为检错和行为改错增加控制管理系统的容错功能,并分析了模型的正确性。This paper extends the structure of Petri nets. The generic controlling and managing system is improved into fault tolerance one. The system is layer modeled with Petri nets,which are basic layer,error detection layer and recover layer. Fault-tolerance is added into the system with recover fault policy and behavior tracking with state logos Petri-based layered modeling,error detection for software behavior and recovers the error. And correctness of this system is analyzed.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]