摘 要：簡(jiǎn)單郵件傳輸協(xié)議(Simple Mail Trahsfer Protocol，SMTP)是網(wǎng)絡(luò)中電子郵件傳輸協(xié)議，像其他網(wǎng)絡(luò)服務(wù)一樣，電子郵件傳輸也依賴(lài)于傳輸控制協(xié)議(Transmission Control Protocol)。本文設(shè)計(jì)分析了基于著色Petri網(wǎng)(Colored PebiNets，CPN)簡(jiǎn)單郵件傳輸協(xié)議模型，該模型包括傳輸控制同步信號(hào)建立和簡(jiǎn)單郵件傳輸命令序列建立；通過(guò)Design/CPNtool建立和驗(yàn)證了該模型。

關(guān)鍵詞：簡(jiǎn)單郵件傳輸協(xié)議；SMTP；著色Petri網(wǎng)；CPN；Design／CPN；Email