Synchro-net system: A Petri net model for higher-layer protocols

Abstract

In this paper, the authors propose a new type of EPr/TN net system called SYNEPr/TN (SYNchro-Extended Predicate/Transition Net) net system, which serves as a FDT (formal description technique) of high-layer protocols in protocol engineering. For given formal definitions of SYNEPr/TN net system and its transition rules, the authors analyze the properties of this net system, and solve the problems of redundant concurrent successors appeared in EPr/TN net system. Modelling and analysis of the high-layer protocols by means of SYNEPr/TN net system are emphatically discussed in the paper.

Keywords:

• Computer network
• Protocol
• Petri net
• Protocol engineering
• Modelling

Acknowledgement

This work is supported by National 973 Fundamental Research Program of China (G1998030402) and National Natural Science Foundation of China (90204009).

Notes

^*E-mail: [email protected]

Additional information

Notes on contributors

Jun Shen*

*E-mail: [email protected]