标题：基于形式化方法的网络业务流Petri网模型的仿真分析
作者：李金春
作者单位：甘肃有色冶金职业技术学院，甘肃 金昌 737100
关键字：随机Petri网，网络业务流，自相似性
摘要：针对自相似业务流的影响，给出具有自相似特性的网络业务流传输过程的随机Petri网模型，使用Petri网分别建立了无限缓冲区的IP层网络模型和有限缓冲区的以太网模型，采用一种马尔可夫随机Petri网的方法对模型进行分析，然后通过实例证明了网络中确实存在着自相似现象，最后利用随机Petri网性能分析工具SPNP对所建立的模型进行了模拟和验证，研究了网络业务流的自相似特性对网络性能的影响。提出的模型在一定程度上能够很好地拟合不同网络的流量特性，为网络构建、网络特性分析和网络性能评估提供了重要的理论基础。