基于多层次Petri网的软件保障流程建模  

Software Support Flow Modeling Based on Multi-Leveled Petri Net

作　　者：杜家兴[1] 黄静[1] 毕明光[1] 周泽云[1] 

机构地区：[1]装甲兵工程学院科研部,北京100072 [2]装甲兵工程学院技术保障工程系,北京100072

出　　处：《装甲兵工程学院学报》2008年第6期47-51,共5页Journal of Academy of Armored Force Engineering

摘　　要：软件保障流程分析是研究软件保障规律的重要手段。应用多层赋时变迁、随机Petri网技术,逐步细化建立了软件保障流程仿真模型,给出了各层次模型中库所和变迁的含义。结合模型的仿真分析,提出了用"软件使用保障时间比"作为评价软件保障性的参数,给出了软件使用保障时间比的计算方法,并就该计算方法所表达的意义同装备系统进行了比较,指出了软件使用与保障时间分配的特殊性。The analysis of software support flow is an important means to study the software support laws.The paper employs multi-level timed transition,random Petri Net technology and builds a simulation model of software support flow and finally gives the definitions of place and transition in each hiberarchy model.Combining the model simulation analysis,the paper brings forward the concept of taking "software operation and guarantee time rate" as an evaluation parameter and gives the method to calculate this rate.I...

关 键 词：多层次Petri网 软件保障 流程建模 软件保障性评价 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]