基于Petri网的网格系统形式定义

• 作者: 刘福明 应宏 王自全 鄢沛
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 网格 有色Petri网 Web服务 Web服务资源框架 形式定义
• 年，卷（期）: 2008,（2）
• 所属期刊栏目: 计算机网络与信息技术
• 页码范围: 58-59,106
• 页数: 3页
• 分类号: TP3
• 字数: 4810字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2008.02.013

摘要

Petri网有严格的数学定义,具有描述分布式通信计算系统的能力.通过分析网格系统的特点,高度抽象网格系统概念,基于Petri网原理,构造网格系统的库所和变迁,用有色Petri网系统给出网格系统的形式化定叉,并对相关概念进行了讨论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	应宏	重庆三峡学院数学与计算机科学学院	63	499	11.0	20.0
2	刘福明	重庆三峡学院数学与计算机科学学院	33	126	7.0	10.0
3	鄢沛	重庆三峡学院数学与计算机科学学院	42	290	8.0	16.0
4	王自全	重庆三峡学院数学与计算机科学学院	14	27	4.0	5.0