计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (32): 210-212.DOI: 10.3778/j.issn.1002-8331.2008.32.063
周忠宝1,肖 磊2,金 光2,刘 强2
ZHOU Zhong-bao1,XIAO Lei2,JIN Guang2,LIU Qiang2
摘要: Petri网是严格定义的数学对象,直观、形象,且可用于动态的行为分析。通过引进退化令牌对随机Petri网进行理论扩展,提出了一种基于退化令牌的随机Petri网(SPNAT)的维修过程建模与仿真方法。最后通过实例验证了该建模方法的有效性和优越性。