标识部分集合二结构(LPS2S)的深重命名及其应用

摘要：

@@ 文[4]对LPS2S与Petri网(EN系统或C/E)之间的联系做了深入分析.LPS2S与并发系统的联系,对于Petri网理论与变迁系统来说更是如此;此外二结构本身也有丰富的理论.我们知道,LPS2S是在标识部分二结构(LP2S)的基础上构造出来的,我们感兴趣的是lp2s经过域映射与重命名作用所得到的lps2s,即BREGV与REGV中的元开.本文提出的DLP2S与深重命名的概念能使我们更加深入地认识LPS2S.

机标关键词：标识、集合、结构、重命名、并发系统、网理论、变迁系统、域映射、兴趣、名作、基础、构造、概念

所属期刊栏目：29

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金;教育部优秀青年教师资助计划

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：152-153