广东省粤港关键领域重点突破项目(2007A090601001)

作品数：3被引量：1H指数：1
导出分析报告
相关作者：郑红刘云符海波明仲更多>>
相关机构：华东理工大学上海市计算机软件评测重点实验室中山大学深圳大学更多>>
相关期刊：《计算机应用与软件》《深圳大学学报（理工版）》更多>>
相关主题：可达图PETRI网无线数字家庭IPV4到IPV6更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Petri网的IPv4到IPv6协议转换分析
《计算机应用与软件》2011年第12期105-107,187,共4页符海波 郑红 罗笑南 
粤港关键领域重点突破项目(2007A090601001);数字家庭教育部重点实验室开放基金(中山大学)
应用Petri网原理分析IPv4-IPv6协议转换,并结合实际的系统和详细转换流程图,建立Petri网模型。通过此Petri网模型的有界性、可达性及活性等动态特性,证明此转换模型功能和安全上的可行性。
关键词：PETRI网 协议转换 可达图 
基于Petri网的数字家庭无线射频协议研究被引量：1
《计算机应用与软件》2011年第10期89-92,共4页刘云 郑红 
粤港关键领域重点突破项目(2007A090601001)
对数字家庭无线射频通信协议进行分解,给出协议各部分的流程。构造基于Petri网的通信协议模型,并在模型的基础上运用可达图方法分析协议Petri网模型的动态性质,从而验证协议的正确性,为进一步研究和应用该协议提供一种新的思路。
关键词：PETRI网 射频协议 建模 可达图 
CORBA工作流时间Petri网建模与分析
《深圳大学学报（理工版）》2009年第1期42-46,共5页郑红 明仲 
国家自然科学基金资助项目(60673122);粤港关键领域重点突破项目(2007A090601001)
基于时间Petri网和工作流分析技术,引入时间工作流网概念,建立CORBA系统中由一组受时间约束的子工作流协作组成的工作流的时间工作流网模型,并基于该模型分析时间工作流网模型的有效性,验证了模型与系统需求规范的一致性.
关键词：CORBA系统 工作流 时间PETRI网 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部