%0 Journal Article %A 王文化 %A 沈庆国 %A 韩春永 %A 王滨 %A 戴三明 %T 基于染色Petri网的BGP连接过程模型 %D 2011 %R 10.3969/j.issn.1000-3428.2011.06.029 %J 计算机工程 %P 82-84 %V 37 %N 6 %X 边界网关协议(BGP)缺少形式化分析,为此,根据RFC 1771,针对2个BGP路由器间连接建立过程,使用染色Petri网建立层级模型。通过交互式仿真观察所建模型行为和预期行为是否发生偏离。判定行为偏离发生的原因,修改模型直到偏离消失。求解模型的状态空间,并验证BGP连接过程的无死锁性和公平性。 %U http://www.ecice06.com/CN/10.3969/j.issn.1000-3428.2011.06.029