论文部分内容阅读
简单邮件传输协议(Simple Mail Transfer Protocol,SMTP)是网络中电子邮件传输协议,像其他网络服务一样,电子邮件传输也依赖于传输控制协议(Transmission Control Protocol).本文设计分析了基于着色Petri网(Colored Petri Nets,CPN)简单邮件传输协议模型,该模型包括传输控制同步信号建立和简单邮件传输命令序列建立;通过Design/CPNtool建立和验证了该模型.