基于Petri网的文件传输的建模与分析

摘要

优化并行文件传输的过程一直都是文件传输研究的核心问题。文章采用Petri网对并行文件传输的过程进行建模,将时间作为变迁发生的一种消耗性资源,可以直观的描述出文件传输的时间,有利于文件传输的分析。最后,利用Petri网中的不变量性质对模型的一些动态行为进行了分析,验证了该模型的合理性与准确性。