Modeling and Verification for State Transition Table of Communication Protocols by Using Petri Nets

Abstract

Petri nets have been widely recognized as useful models for concurrent discrete event systems such as parallel processing systems, distributed systems, communication protocols, and sequential control systems. In the restricted communication protocol, there were many modeling methods and analyses.
In this paper, we consider the communication protocols such as transport layer, session layer, presentation layer, application layer, etc. and the problem of modeling and verification for the state transition table of communication protocols by using Petri nets. We derive the modeling method by using Petri nets and investigate the structural properties of proposed models. Then, we show the usefulness of this model.