In: Billington, J.; Diaz, M.; Rozenberg, G.: Lecture Notes in Computer Science, Vol. 1605: Application of Petri Nets to Communication Networks, pages 131-149. Springer-Verlag, 1999.
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 are 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 protocol is provided at each station in a network.
Keywords: IEEE Standard 802.2, LLC type 3 protocols, proper operation, time Petri nets.