journal6 ›› 2003, Vol. 24 ›› Issue (1): 50-54.
摘要:Petri网是一种适合于描述异步并发现象的计算机系统模型.Petri网理论的分析方法和技术既可用于静态的结构分析,又可用于动态的行为分析,最适合表示事件之间的并行性和自然相关性.因而,用Petri网来描述、分析和研究并发现象有独特的优越之处.在分布式网络环境下文件并行传输方案的设计中,传统的分析方法是采用线性规划,这样往往需要求解庞大的线性方程组.基于Petri网的文件并行传输优化方案可大大简化这一过程,并能达到更直观、更理想的效果.