Skip to main content
placeholder image

From Petri nets to formal description techniques and protocol engineering

Journal Article


Abstract


  • Protocol is the lifeline of computer network. The rapid increasing of protocol complexity results in a discipline of protocol engineering. Based on an analysis of the contents and methods of protocol engineering activities and their interrelations, the paper first discusses main formal description techniques (FDTs) and their characteristics, compares corresponding strongpoints and weaknesses, and then leads to Petri nets based FDT. Secondly, the paper points out special advantages of the Petri nets based formal techniques and the current research difficulties in Petri nets based protocol engineering, among which protocol development oriented net tools are now very important research tasks. Thirdly, the paper summarizes international research advances in terms of OSI/RM layers and expounds research trends in this area. Finally the authors give fundamental methodologies for Petri nets based protocol engineering in protocol specification, verification and analysis, and computer-aided testing and implementation.

Publication Date


  • 2000

Citation


  • Luo, J., Shen, J., & Gu, G. (2000). From Petri nets to formal description techniques and protocol engineering. Ruan Jian Xue Bao/Journal of Software, 11(5), 606-615.

Scopus Eid


  • 2-s2.0-0034179833

Web Of Science Accession Number


Start Page


  • 606

End Page


  • 615

Volume


  • 11

Issue


  • 5

Abstract


  • Protocol is the lifeline of computer network. The rapid increasing of protocol complexity results in a discipline of protocol engineering. Based on an analysis of the contents and methods of protocol engineering activities and their interrelations, the paper first discusses main formal description techniques (FDTs) and their characteristics, compares corresponding strongpoints and weaknesses, and then leads to Petri nets based FDT. Secondly, the paper points out special advantages of the Petri nets based formal techniques and the current research difficulties in Petri nets based protocol engineering, among which protocol development oriented net tools are now very important research tasks. Thirdly, the paper summarizes international research advances in terms of OSI/RM layers and expounds research trends in this area. Finally the authors give fundamental methodologies for Petri nets based protocol engineering in protocol specification, verification and analysis, and computer-aided testing and implementation.

Publication Date


  • 2000

Citation


  • Luo, J., Shen, J., & Gu, G. (2000). From Petri nets to formal description techniques and protocol engineering. Ruan Jian Xue Bao/Journal of Software, 11(5), 606-615.

Scopus Eid


  • 2-s2.0-0034179833

Web Of Science Accession Number


Start Page


  • 606

End Page


  • 615

Volume


  • 11

Issue


  • 5