Parameter region for the proper operation of the IEEE 802.2 LLC type 3 protocol: A petri net approach
This paper derives the parameter region of the IEEE 802.2 LLC type 3 protocol to guarantee a proper operation. The protocol is modeled by a time Petri net and investigated using reachability analysis. Three necessary conditions on the parameters are derived, and then a reduced reachability graph is obtained by applying the necessary conditions to lessen the combinatorial state explosion. From the reduced reachability graph, a necessary and sufficient condition on the parameters is derived to guarantee the proper operation of the LLC type 3 protocol for a link. By using the condition, a procedure to set the parameters of the LLC type 3 protocol is provided at each station in a network.
Key WordsIEEE 802.2 LLC type 3 protocol proper operation parameter Petri net
Unable to display preview. Download preview PDF.
- 1.ISO/IEC 8802-2: Logical Link Control, IEEE, Inc., 1994.Google Scholar
- 2.A. Valenzano, C. Demartini, and L. Ciminiera, MAP and TOP Communications: Standards and Applications, Addison-Wesley, 1992.Google Scholar
- 9.Nancy G. Leveson and Janice L. Stolzy, “Safety Analysis Using Petri Nets”, IEEE Trans. on Software Engineering, Vol. SE-13, No. 3, March 1987, pp. 386–397.Google Scholar