For the most recent entries see the Petri Nets Newsletter.

Parameter region for the proper operation of the IEEE 802.2 LLC type 3 protocol: a Petri net approach.

Moon, H.-J.; Moon, S.Y.; Kwon, W.H.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography