作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

›› 1995, Vol. 21 ›› Issue (06): 63-67.

• 论文 • 上一篇    下一篇

LAPD协议的Petri网描述与验证

吴克,周正康   

  1. 复旦大学计算机科学系
  • 发布日期:1995-12-25

The Description and Verification of the Petri Net Using LAPD Protocol

  • Published:1995-12-25

摘要: 我们利用Petri网描述协议的方法,对LAPD协议的连接建立过程进行了形式描述,然后对LAPD协议的有界性、活性和保守性等性质进行了验证。

关键词: LAPD协议;Petri网;可达树;S-不变量

中图分类号: