关键词: 模糊时间Petri网, 动态可靠性, 攻击模型, 补偿算法, 最小路集

Abstract: The reliability is introduced to study net attack model by Petri net.The net attack model is considered as a system for research.Not only the truth degree of goal place is attained，and the dynamic reliability for attacking path and attacking system is analyzed.Then a new attack model，Dynamic Reliability Fuzzy Timed Petri Net attack model（DRFTPN） is presented，and the relevant reasoning algorithm combining with reliability is given.This model descripts attacking process as a non-repairable complex system，and presumes that attack states delegated by places are randomly failing.In order to calculate the system reliability，an approximate compensating algorithm to calculate the reliability life of system is given.And attacking paths of DRFTPN based on the minimal path sets are sought.Finally，DRFTPN is simulated by the Monte Carlo method.

Key words: fuzzy timed-Petri net, dynamic reliability, attack model, compensating algorithm, minimal path sets