Verification of the AX.25 link-layer protocol using place-transition petri nets
This study is an investigation of the use of Place-Transition Petri nets or simply Petri nets, in modeling and in analyzing communication protocols. The AX.25 Amateur Packet-Radio Link-Layer Protocol Version 2.0 was used as the case study of this thesis. Petri net models were built for the link conn...
| मुख्य लेखक: | |
|---|---|
| स्वरूप: | थीसिस |
| भाषा: | English |
| प्रकाशित: |
1996.
|
| विषय: |