论文部分内容阅读
我们利用Ｐｅｔｒｉ网描述协议的方法，对ＬＡＰＤ协议的连接建立过程进行了形式描述，然后对ＬＡＰＤ协议的有界性、活性和保守性等性质进行了验证。
We use the method of Petri net description protocol to formally describe the connection establishment process of LAPD protocol, and verify the properties of LAPD protocol such as boundedness, activity and conservatism.