Title :
Analysis and verification of Colored Petri net in PPPoE protocol
Author :
Xiao-jing, Meng ; Wang Li-li
Author_Institution :
Coll. of Inf. Sci. & Eng., Shandong Univ. of Sci. & Technol., Qingdao, China
Abstract :
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.
Keywords :
Petri nets; formal verification; reachability analysis; synchronisation; transport protocols; PPPoE protocol; colored Petri net; concurrent system modeling; reachability tree; synchronization; Irrigation; Protocols; Receivers; Silicon; Colored Petri Net; Modeling; PPPoE protocol; Verification;
Conference_Titel :
Advanced Computer Theory and Engineering (ICACTE), 2010 3rd International Conference on
Conference_Location :
Chengdu
Print_ISBN :
978-1-4244-6539-2
DOI :
10.1109/ICACTE.2010.5579251
