摘要

简单邮件传输协议(SimpleMailTransferProtocol,SMTP)是网络中电子邮件传输协议,像其他网络服务一样,电子邮件传输也依赖于传输控制协议(TransmissionControlProtoco)l。本文设计分析了基于着色Petri网(ColoredPetriNets,CPN)简单邮件传输协议模型,该模型包括传输控制同步信号建立和简单邮件传输命令序列建立;通过Design/CPNtool建立和验证了该模型。