DocumentCode
2221040
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
Volume
5
fYear
2010
fDate
20-22 Aug. 2010
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Advanced Computer Theory and Engineering (ICACTE), 2010 3rd International Conference on
Conference_Location
Chengdu
ISSN
2154-7491
Print_ISBN
978-1-4244-6539-2
Type
conf
DOI
10.1109/ICACTE.2010.5579251
Filename
5579251
Link To Document