故障Petri网的状态方程研究  

Reaearch for State Equation of Fault Petri Net

作　　者：张炜[1] 

机构地区：[1]西北民族大学计算机科学与信息工程学院,甘肃兰州730030

出　　处：《兰州工业高等专科学校学报》2010年第2期1-4,共4页Journal of Lanzhou Higher Polytechnical College

摘　　要：在比较其它研究人员关于故障Petri网定义的基础上给出了新的故障Petri网定义,根据给出定义提出了确定故障Petri网状态方程的算法,并通过实例证明了所提出的状态方程符合故障动态传播的物理特性.A new definition of fault Petri net based on comparing with the others＇ is proposed, and an algorithm on indentifying state equation of fault petri net is given, and it is proved via a case that the state equation proposed is in accordance with character of fault transmition.

关 键 词：故障PETRI网 故障传播 状态方程 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]