摘要
随着计算机和信息技术的发展,广义随机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.
出处
《火力与指挥控制》
CSCD
北大核心
2005年第5期27-31,共5页
Fire Control & Command Control
基金
航空支撑科技基金资助项目(03C53002)
关键词
广义随机PETRI网
分析方法
应用领域
generalized stochastic petri net （GSPN）,analysis techniques,application fields
