Petri Net is an important tool for concurrent system modeling and analysis. It is a combination model that can be represented by graph; it can express relations of concurrency, sequence, synchronization in system by a visual way. This paper analyzed PPPoE protocol using Colored Petri net. Firstly, the definition of Colored Petri net and PPPoE was introduced, secondly, the working principle of PPPoE was described, and then this paper modeled the discovery stage of PPPoE protocol. Finally, the CPN model was verified by reachability tree.
展开▼
