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

关键词: Petri网, 容错, 分层建模, 检错

Abstract: 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.

Key words: Petri nets, fault-tolerance, layer modeling, error detection

中图分类号: 

• TP311