广东省粤港关键领域重点突破项目(2007A090601001)
- 作品数:3 被引量:1H指数:1
- 相关作者:郑红刘云符海波明仲更多>>
- 相关机构:华东理工大学上海市计算机软件评测重点实验室中山大学更多>>
- 发文基金:广东省粤港关键领域重点突破项目教育部重点实验室开放基金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于Petri网的IPv4到IPv6协议转换分析
- 2011年
- 应用Petri网原理分析IPv4-IPv6协议转换,并结合实际的系统和详细转换流程图,建立Petri网模型。通过此Petri网模型的有界性、可达性及活性等动态特性,证明此转换模型功能和安全上的可行性。
- 符海波郑红罗笑南
- 关键词:PETRI网协议转换可达图
- 基于Petri网的数字家庭无线射频协议研究被引量:1
- 2011年
- 对数字家庭无线射频通信协议进行分解,给出协议各部分的流程。构造基于Petri网的通信协议模型,并在模型的基础上运用可达图方法分析协议Petri网模型的动态性质,从而验证协议的正确性,为进一步研究和应用该协议提供一种新的思路。
- 刘云郑红
- 关键词:PETRI网可达图
- CORBA工作流时间Petri网建模与分析
- 2009年
- 基于时间Petri网和工作流分析技术,引入时间工作流网概念,建立CORBA系统中由一组受时间约束的子工作流协作组成的工作流的时间工作流网模型,并基于该模型分析时间工作流网模型的有效性,验证了模型与系统需求规范的一致性.
- 郑红明仲
- 关键词:CORBA系统工作流时间PETRI网