摘要
优化并行文件传输的过程一直都是文件传输研究的核心问题。文章采用Petri网对并行文件传输的过程进行建模,将时间作为变迁发生的一种消耗性资源,可以直观的描述出文件传输的时间,有利于文件传输的分析。最后,利用Petri网中的不变量性质对模型的一些动态行为进行了分析,验证了该模型的合理性与准确性。
The process optimization of parallel file transmission has been the core problem of file transmis- sion research. Based on Petri net and using time as a consuming resource when transmission happens, a model of parallel file transmission was established to describe the file transmission time directly, which is helpful to analyze the transmission. Some dynamic behaviors were analyzed by using S - Invariants of Petri net to prove the reasonableness and accuracy of the model.
出处
《成都纺织高等专科学校学报》
CAS
2013年第2期22-26,共5页
Journal of Chengdu Textile College
基金
国家自然科学基金项目(NO:61271413)
关键词
PETRI网
并行文件传输
时间资源
抑制弧
模型验证
Petri net, parallel file transmission, time resource, inhibitor arc, model validation
