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