计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (32): 210-212.DOI: 10.3778/j.issn.1002-8331.2008.32.063

• 工程与应用 • 上一篇    下一篇

基于SPNAT的维修过程建模与仿真方法研究

周忠宝1,肖 磊2,金 光2,刘 强2   

  1. 1.湖南大学 工商管理学院,长沙 410082
    2.国防科技大学 信息系统与管理学院,长沙 410073
  • 收稿日期:2008-05-21 修回日期:2008-08-25 出版日期:2008-11-11 发布日期:2008-11-11
  • 通讯作者: 周忠宝

Research on repair process modeling and simulation methods based on SPNAT

ZHOU Zhong-bao1,XIAO Lei2,JIN Guang2,LIU Qiang2   

  1. 1.School of Business Administration,Hunan University,Changsha 410082,China
    2.School of Information System and Management,National University of Defense Technology,Changsha 410073,China
  • Received:2008-05-21 Revised:2008-08-25 Online:2008-11-11 Published:2008-11-11
  • Contact: ZHOU Zhong-bao

摘要: Petri网是严格定义的数学对象,直观、形象,且可用于动态的行为分析。通过引进退化令牌对随机Petri网进行理论扩展,提出了一种基于退化令牌的随机Petri网(SPNAT)的维修过程建模与仿真方法。最后通过实例验证了该建模方法的有效性和优越性。

关键词: 维修过程, 过程建模, Petri网, 基于退化令牌的随机Petri网

Abstract: Petri net,a visual and mathematical object,can be used for dynamic behavior analysis.Several salient features are chosen from the multitude of existing extensions of Petri nets,and a new concept of aging tokens is introduced.The result framework provides for flexible and transparent graphical modeling with excellent representational power that is suited for system maintenance model.Finally,accordingly its rationality and advantage are proved by an example.

Key words: repair process, process modeling, Petri net, Stochastic Petri Nets with Aging Token(SPNAT)