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

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

作　　者：李金春 

机构地区：[1]甘肃有色冶金职业技术学院

出　　处：《工业控制计算机》2013年第10期90-91,94,共3页Industrial Control Computer

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

关 键 词：随机PETRI网 网络业务流 自相似性 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]