In: Y. Han, S. Tai, D. Wikarski (Eds.): Engineering and Deployment of Cooperative Information Systems, First International Conference (EDCIS 2002) Beijing, China, September 17-20, 2002, pages 1-303pp. Springer Verlag, LNCS 2480, September 2002.
Abstract: In this paper, the authors propose a new type of EPr/TN net system called SYNEPr/TN (SYNchro-Extended Predicate/Transition Net), which serves as an FDT (formal description technique) of high-layer protocols in protocol engineering. Given the formal definition of SYNEPr/TN net system and its transition rules, the authors analyse the properties of this net system and solve the problems of redundant concurrent successors appeared in EPr/TN net system. Modeling and analysis of the high-layer protocols in the context of SYNEPr/TN net system are discussed in details.
Keywords: Computer networks; protocols; Petri nets; protocol engineering; modeling.