GSPN的分析方法及其应用  

The Analysis Techniques and Applications of Generalized Stochastic Petri Net

作　　者：张建东[1] 高晓光[1] 吴勇[1] 朱岩[1] 

机构地区：[1]西北工业大学电子信息工程学院,陕西西安710072

出　　处：《火力与指挥控制》2005年第5期27-31,共5页Fire Control & Command Control

基　　金：航空支撑科技基金资助项目(03C53002)

摘　　要：随着计算机和信息技术的发展,广义随机Petri网(G SPN)作为一种图形化的建模工具,不仅可以对系统进行形式化的描述和快速原型开发,而且由于其具有坚实的数学理论基础,可以对系统进行正确性验证和性能评价,因此在系统的设计过程中,得到了广泛的应用。基于结构分析方法、可达图分析和数值分析方法讨论分析了G SPN,并给出了具体的算例,最后讨论了G SPN的应用领域。With the development of computer science and information technology ,Generalized Stochastic Petri Net （GSPN）,as a graphical modeling tool,has been widely used in the process of system design,for it can not only conduct formal specification and rapid prototyping,but also verify correctness and evaluate performance of distributed system due to the solid mathematics basis. The paper discusses the structural analysis techniques, reachability set analysis techniques and numerical solution, on the basis of which representative examples are given in detail. Finally, a diverse variety of application fields are discussed, ranging from communication protocols to flexible manufacturing.

关 键 词：广义随机PETRI网 分析方法 应用领域 

分 类 号：TP202[自动化与计算机技术—检测技术与自动化装置]