The Third Advanced International Conference on Telecommunications (AICT'07)
Analysis of BGP Convergence Using SHLPN Model
Morne, Mauritius
May 13-May 19
ISBN: 0-7695-2843-0
BGP can be looked as a distributed algorithm to solve the Stable Paths Problem. Routing policies conflict among ASes may cause routing divergence in Internet. Several research efforts analyze BGP convergence by describing BGP routing mechanism statically and designating BGP events in artificial sequence. In this paper, we present a Stochastic High-Level Petri Net model of Simple Path Vector Protocol, which conforms to the event-driven property of BGP. Basing on the model, the essence of routing policies conflict is analyzed and an algorithm is proposed to locate the conflict.
Citation:
Lijun Wang, Wu Jianping, Xu Ke, "Analysis of BGP Convergence Using SHLPN Model," aict, pp.4, The Third Advanced International Conference on Telecommunications (AICT'07), 2007