This paper presents the network service model and protocol model, and gives a brief introduction to a high level Petri net called EPr/TN net system, which serves as the formal specification tool for network protocol....This paper presents the network service model and protocol model, and gives a brief introduction to a high level Petri net called EPr/TN net system, which serves as the formal specification tool for network protocol. Finally, the general methods for the展开更多
文摘This paper presents the network service model and protocol model, and gives a brief introduction to a high level Petri net called EPr/TN net system, which serves as the formal specification tool for network protocol. Finally, the general methods for the
基金国家自然科学基金(the National Natural Science Foundation of China under Grant No.60673162)北京自然科学基金(the Natural Science Foundation of Beijing of China under Grant No.4073041)
