COPS协议的分析及其Petri网建模  

Analysis and Petri Nets Modeling of COPS Protocol

作　　者：陆正福[1] 杨洋[1] 

机构地区：[1]云南大学数学系,昆明650091

出　　处：《计算机工程》2004年第7期82-83,188,共3页Computer Engineering

基　　金：云南省自然科学基金资助项目(2002F0012M);南省教育厅科研基金项目(0111155);南省省校合作项目(19-7)(北京大学-云南大学)

摘　　要：在对COPS协议作详细非形式化分析的基础上，用扩展的库所/变迁网对其主要部分进行了形式化的描述，从而为COPS协议的分析与改进奠定了基础。This paper presents a formal protocol description of COPS with extended place/transition net on the base of detailed informal analysis , thus lays a foundation for analysis and improvement of the COPS .

关 键 词：COPS PETRI网 策略执行点 策略决策点 消息完整性 

分 类 号：TP393.07[自动化与计算机技术—计算机应用技术]