10.3969/j.issn.1000-3428.2004.02.048
Bi-PIM协议的原理分析及其Petri网模型
文章在对Bi-PIM协议的机制进行分析的基础上,用扩展的库所/变迁网对其进行形式化的建模,为其具体分析和实现奠定了形式化和自动化的基础.
IP多播、PIM-SM协议、Bi-PIM协议、Petri网、协议工程学
30
TN915.02
云南省自然科学基金2002F0012M;云南省教育厅资助项目01111155;云南省省院省校科技合作项目19-7
2004-03-26(万方平台首次上网日期,不代表论文的发表时间)
共3页
124-126