基于嵌套赋类的Bigraph反应系统模型

• 作者: 吴怀广 毋国庆 甘勇 金保华
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: Bigraph反应系统 嵌套赋类 相关推出 一致性
• 年，卷（期）: 2012,（9）
• 所属期刊栏目: 软件工程
• 页码范围: 143-151
• 分类号: TP301.2
• 字数: 12857字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.09.032

摘要

针对Bigraph反应系统中位置图控制间的嵌套关系问题,提出了一个赋类的Bigraph扩展模型.在利用标签范畴Scat((H))给出嵌套赋类位置图定义的基础上,讨论了嵌套赋类位置图的相关性质,给出了嵌套赋类位置图中RPO的构建、证明,以及同前推出IPO的一致性条件的定义、证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	甘勇	郑州轻工业学院计算机与通信工程学院	124	808	12.0	25.0
2	毋国庆	武汉大学计算机学院	72	470	12.0	17.0
3	金保华	郑州轻工业学院计算机与通信工程学院	54	296	8.0	15.0
4	吴怀广	郑州轻工业学院计算机与通信工程学院	12	47	4.0	6.0