近年来,随着计算机信息化技术、智能控制技术、通信技术的发展,人们开始将车联网技术应用于自动交叉口系统的构建。自动交叉口根据车辆信息、路况信息,与车辆进行信息交互,并实时控制车辆行驶,直至车辆离开交叉口。车联网技术下的自动交口管理对改善交通状况、提高交叉口服务效率效果显著。本文对车联网技术下自动交叉口管理系统AIM(Autonomous Intersection Management)展开研究,对AIM系统的车辆行车场景和交叉口的控制场景进行了Petri网建模,并针对车辆和交叉口的消息交互行为建立信道故障模型,并提出了随机故障下的消息重发模型,主要研究内容如下:1.构建了AIM系统车辆行驶场景、交叉口控制场景以及AIM系统CPN(Colored Petri Net)模型,并对模型的动态属性进行了分析,验证了模型的正确性。2.基于以上场景中的消息交互行为,建立车辆和交叉口消息交互的信道故障模型,包括了故障发生和故障持续时间子网模型。针对信道故障产生的延时和丢包,提出了消息重发模型,并建立了消息重发CPN模型。通过对消息重发模型进行性能分析,得出重发消息模型的消息延时小于信道故障模型延时。3.在AIM仿真平台上写入重发消息模型算法,设计四组实验,从车辆的延误和完成穿越时间、完成车辆数、请求预留次数、丢包率四个方面对消息重发模型性能进行分析。通过比对仿真实验结果,证明了消息重发模型的有效性。