基于形式化方法的网络业务流Petri网模型的仿真分析

针对自相似业务流的影响,给出具有自相似特性的网络业务流传输过程的随机Petri网模型,使用Petri网分别建立了无限缓冲区的IP层网络模型和有限缓冲区的以太网模型,采用一种马尔可夫随机Petri网的方法对模型进行分析,然后通过实例证明了网络中确实存在着自相似现象,最后利用随机Petri网性能分析工具SPNP对所建立的模型进行了模拟和验证,研究了网络业务流的自相似特性对网络性能的影响.提出的模型在一定程度上能够很好地拟合不同网络的流量特性,为网络构建、网络特性分析和网络性能评估提供了重要的理论基础.

Simulation Analysis on Petri Net Model of Network Traffic Based on Formal Method

On account of the effects of self-similarity on network,gives stochastic petri net models of self-similar network traffic. After that,sets up an infinite buffer IP layer net model and a limited buffer ethernet model with petri net components.A markov stochastic petri net method is us.ed to analyze the models.It shows that there does exist self-similarity in the real network through an example.This paper focuses on self-similarity of network traffic and its influences on network performance.The model brought forward in this paper can characterize the statistical behavior of network traffic to some extent and it provides a solid foundation for construction,analysis and evaluation of the network.