论文部分内容阅读
本文在讨论了M.Diaz等人的工作之后,给出了一个消息传输协议MTP的Petri网模型。利用Token Machine工具对该模型进行了分析,说明协议的设计是合理的。
After discussing the work of M. Diaz et al., This paper presents a Petri net model of MTP for message transmission protocol. The Token Machine tool is used to analyze the model, which shows that the design of the protocol is reasonable.