摘要
文章在对Bi-PIM协议的机制进行分析的基础上,用扩展的库所/变迁网对其进行形式化的建模,为其具体分析和实现奠定了形式化和自动化的基础。
This paper builds a formal protocol model of Bi-PIM with extended place/transition net on the base of detailed mechanism analysis, thus lays a solid foundation for analysis and implementation of the Bi-PIM.
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第2期124-126,共3页
Computer Engineering
基金
云南省自然科学基金资助项目(2002F0012M)
云南省教育厅科研基金资助项目(01111155)
云南省省校合作项目(19-7)
