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.
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]