Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
ISO/IEC 8802-2: Logical Link Control, IEEE, Inc., 1994.
A. Valenzano, C. Demartini, and L. Ciminiera, MAP and TOP Communications: Standards and Applications, Addison-Wesley, 1992.
Ichiro Suzuki, “Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets”, IEEE Trans. on Software Engineering, Vol. 16, No. 11, Nov. 1990, pp. 1273–1281.
Ernst W. Biersack, “Performance of the IEEE 802.2 Type-2 Logical Link Protocol with Selective Retransmission”, IEEE Trans. on Comm. Vol. 41, No. 2, Feb. 1993, pp. 291–294.
H. K. Pung, “Effects of window flow control on the 802.2 Type-II logical link performance in ArbNet”, Computer Communications, Vol. 16, No. 7, July 1993, pp. 403–412.
Abd E. Elnakhal and Helmut Rzehak, “Design and Performance Evaluation of Real Time Communication Architectures”, IEEE Trans. on Industrial Electronics, Vol. 40, No. 4, Aug. 1993, pp. 404–411.
P. Merlin and D. J. Faber, “Recoverability of communication protocols”, IEEE Trans. Commun., Vol. COM-24, No. 9, Sept. 1976, pp. 1036–1043.
B. Berthomieu and M. Diaz, “Modeling and Verification of Time Dependent Systems Using Time Petri Nets”, IEEE Transactions on Software Engineering, Vol. 17, No. 3, Mar, 1991, pp. 259–273.
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.
Giacomo Bucci and Enrico Vicario, “Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets”, IEEE Trans. on Software Engineering, Vol. 21, No. 12, December 1995, pp. 969–992.
Rajeev Alur, Thomas A. Henzinger, and Pei-Hsin Ho, “Automatic Symbolic Verification of Embedded Systems”, IEEE Trans. on Software Engineering, Vol. 22, No. 3, March 1996, pp. 181–201.
R. L. Schwartz and P. M. Melliar-Smith, “From State Machines to Temporal Logic: Specification Methods for Protocol Standards”, IEEE Trans. on Commun., Vol. COM-30, No. 12, Dec. 1982, pp. 2486–2496.
Author information
Authors and Affiliations
Corresponding author
Editor information
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Moon, Hj., Moon, S.Y., Kwon, W.H. (1999). Parameter region for the proper operation of the IEEE 802.2 LLC type 3 protocol: A petri net approach. In: Billington, J., Diaz, M., Rozenberg, G. (eds) Application of Petri Nets to Communication Networks. Lecture Notes in Computer Science, vol 1605. Springer, Berlin, Heidelberg . https://doi.org/10.1007/BFb0097775
Download citation
DOI: https://doi.org/10.1007/BFb0097775
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65870-2
Online ISBN: 978-3-540-48911-5
eBook Packages: Springer Book Archive