基于Petri网的网络设备内部工作原理分析

计算机网络中信息资源的流动具有典型的异步并发性,而组成计算机网络的网络设备内部产生的资源竞争、冲突等现象也值得抽象出系统模型来进行分析。首先利用Petri网中的基本网系统对集线器的工作原理进行了仿真,并用相关理论证明了集线器的冲突产生的必然性,然后利用库所/变迁网对交换机的内部工作过程进行了仿真,并利用活性分析原理分析其活性。最后针对网络设备的模拟,把Petri网模型和思科模拟器做了一个比较,分析了它们之间的特点与差别。