1.
Research on 3G Network Protocol Modeling Based on Corloured Petri Net-The CPN Model and Simulation of SIP Protocol
基于着色Petri网的3G网络协议建模研究-SIP协议的CPN模型与仿真
2.
Application of Petri Nets in Modelling and Analyzing of Encryption Protocol
Petri网在密码协议建模和分析中的应用
3.
Research on Modeling for Contract Net Protocol Based on Object-Oriented Colored Petri Net;
基于面向对象有色Petri网的合同网协议建模研究
4.
Modeling and analysis of the RUDP protocol based on stochastic and coloured Petri net
基于随机着色Petri网的RUDP协议建模与分析
5.
Using SPIN to Model and Analyze Security Protocol in Wireless Sensor Network
基于SPIN的无线传感器网络安全协议建模与分析
6.
Survey on Modelling and Verification of Time Sensitive Security Protocol
时间敏感的安全协议建模与验证:研究综述
7.
Modeling and Formal Analysis of E-Commerce Protocol with ATL
基于ATL的电子商务协议建模与形式化分析
8.
ECPN-based Auction Protocol Modeling and Analysis
基于扩展颜色Petri网的拍卖协议建模与分析
9.
Research on MDA protocol modeling language based on UML Profile
基于UML扩展机制的MDA协议建模语言研究
10.
CIPN-based model building and collaborative simulation for network protocols
基于着色解释Petri网的网络协议建模及协同仿真方法
11.
Analytical Modeling and Performance Evaluation of IEEE 802.11 Based MAC Protocol in Wireless Sensor Networks;
基于IEEE 802.11的无线传感器网络MAC层协议建模与性能研究
12.
Modeling and Analysis of WAP Transaction Layer Protocol Using Colored Petri Net;
WAP事务层协议的有色PETRI网建模与分析
13.
Research on Techniques of Anaysis and Modeling of OSPF Protocol Based UML;
基于UML的OSPF协议分析和建模技术研究
14.
Modeling and Analyzing Transport Protocols Using Petei Nets
传输协议的Petri网建模与分析
15.
Modeling and Performance Analysis of IEEE 802.11 Wireless Communication Protocol
IEEE 802.11无线通讯协议的建模与性能分析
16.
Formal Modeling and Model Checking Analysis of the Avalon System-on-Chip Bus Protocol
Avalon片上总线协议的形式化建模与模型检验分析
17.
The Union building, "made in the image of the House of Commons", was built in 1823;
“依下议院模式而建”的协会大楼，建于1823年。
18.
The Modeling and Evaluation of Reconfigurable Communication Protocol Stack of Controlled Network Nodes;
控制网络节点可重构通信协议栈的建模和评价