论文部分内容阅读
Petri网自1962年提出以来,倍受工业界和学术界的广泛关注。经过几十年的时间,Petri网的理论不断的完善,Petri网在各行各业中不断的被应用。本文主要讨论了Petri网在系统可用性分析中的应用。首先从Petri网的基本概念和基本模型出发,讲述了随机Petri网模型(SPN)、广义随机Petri网模型(GSPN)和随机回报网模型(SRN)。然后以冗余备份系统为例,讨论了随机Petri网在系统可用性分析中的应用以及随机Petri网模型的分析。最后讨论与其它建模方法相比,利用随机Petri网来建立