基于随机Petri网的高性能计算系统作业调度及InfiniBand网络互连的性能分析 (Performance Evaluation of Job Scheduling and InfiniBand Network Interconnection in High Performance Computing System Based on Stochastic Petri Nets).