【作者】 郭建章；

【导师】 王明哲；

【作者基本信息】 华中科技大学 ， 控制理论与控制工程， 2006， 硕士

【摘要】 系统建模、验证和系统设计方案的确认是复杂分布式系统工程设计与建设中的重要研究议题。排队系统和我们的生活息息相关,排队论正是为了研究这类问题而发展起来的。但是排队模型缺乏系统结构和动态逻辑行为的分析能力,而且难以描述包含多种不同类型的排队过程的系统和分析系统组件间的相互联系、制约、同步等现象。而这正是Petri网的强项。如何结合这两种分析方法成为研究的热点。本文提出了一种可行的方法。本文首先对本文理论基础:排队网理论、Petri网理论、GSPN(Generalized Stochastic Petri Net,广义随机Petri网)理论,相关的仿真工具,以及文章后面的案例背景国防部体系结构框架(Department of Defense Architecture Framework:DoDAF)进行概要的介绍。然后给出一种比较成熟的排队网与Petri网结合的分层建模分析方法。在论文的主体部分,给出了各种排队网基本结构的对应广义随机Petri网模型,实现排队模型向GSPN模型的转化,然后详细阐述了自己提出的另一种排队网和Petri网结合方法:排队系统的GSPN分析法。并且介绍为实现该方法而开发的一种Petri网仿真工具,以及软件框架设计和关键算法实现。给出一个具体案例,用以阐明排队系统的GSPN分析法的使用,并通过建模仿真工具进行分析,得到系统的结构分析结果。最后在总结部分和成熟的分层分析法进行比较,阐述该方法的优缺点,同时给出缺点的解决方案和后续发展方向。更多还原

【Abstract】 Modeling, verification of system, and validation of system design are important issues of designs or developments of the complicated distributed systems.Queueing system has a deep relationship with our lives, and queueing theory is developed for researches of this systems. But queueing model is lack of the ability to analyze the system structure and the dynamic behaviors of the queueing system, and it’s hard to describe the system that contains different kinds of queueing processes, and to analyze relations, restrictions and synchronizations between system components. And that is just the strength of Petri net. So, how to combine these two theories becomes the hot issue. This paper gives a feasible method.At first, this paper gives a general description of queueing theory, Petri net, generalized stochastic Petri net (GSPN), related simulating tools, and the Department of Defense Architecture Framework (DoDAF), which is related to the case study. Then, shows a mature method of queueing netwok-Petri net-layered modeling.In the principal part, this paper shows the equivalent GSPN models of kinds of essential queueing models, then, detailed describes the own method: queueing system’s GSPN analyze, as well as the own Petri net simulation software developed for the method.This paper shows a case to illustrate the queueing system’s GSPN analyze, and simulates it with simulation tools, then gives the result of the structure queueing analyzes. In the end, there is a compare with the layered method, followed by a conclusion of their advantages and disadvantages, as well as the solving methods and developing ways of this problem.更多还原