基于混合Petri网的城市道路交通网络建模与仿真-计算机软件与理论专业论文