10.3969/j.issn.1002-137X.2012.09.032
基于嵌套赋类的Bigraph反应系统模型
针对Bigraph反应系统中位置图控制间的嵌套关系问题,提出了一个赋类的Bigraph扩展模型.在利用标签范畴Scat((H))给出嵌套赋类位置图定义的基础上,讨论了嵌套赋类位置图的相关性质,给出了嵌套赋类位置图中RPO的构建、证明,以及同前推出IPO的一致性条件的定义、证明.
Bigraph反应系统、嵌套赋类、相关推出、一致性
39
TP301.2(计算技术、计算机技术)
国家高技术研究发展计划项目2007AA01Z185;郑州轻工业学院博士启动基金ZZB2011008
2012-11-19(万方平台首次上网日期,不代表论文的发表时间)
共9页
143-151