随着网络和通信技术的高速发展,大量新的协议不断被提出.但是,到目前为止,Internet的协议标准RFC仍然使用自然语言描述,Internet的......

随着世界经济的发展，市场竞争日趋激烈。依托着信息技术的支撑，越来越多的现代化企业都运用了以并行工程、敏捷制造、供应链管理和虚......

采用模型检查技术,对IPv6的邻居发现协议的属性进行了形式化验证.该协议的模型由目前广泛用于设计和描述通信协议的MSC(message se......

为降低Petri网建模难度并增强模型的可读性，提出一种通过消息序列表（Message Sequence Chart，MSC）模型对虚拟制造（Virtual Manufacturin......