摘要
文[4]对LPS2S与Petri网(EN系统或C/E)之间的联系做了深入分析.LPS2S与并发系统的联系,对于Petri网理论与变迁系统来说更是如此;此外二结构本身也有丰富的理论.我们知道,LPS2S是在标识部分二结构(LP2S)的基础上构造出来的,我们感兴趣的是lp2s经过域映射与重命名作用所得到的lps2s,即BREGV与REGV中的元开.本文提出的DLP2S与深重命名的概念能使我们更加深入地认识LPS2S.
This paper discusses the hiberarchy of LPS2S,gives the definition of deep rename of LPS2S,thus deeply investigates properties of LPS2S. In the end,we gives a sufficient and necessary condition for h∈lps2s,if there exists g
∈LP2S,h=regv(g).
出处
《计算机科学》
CSCD
北大核心
2002年第7期152-153,共2页
Computer Science
基金
国家自然科学基金
教育部优秀青年教师教学科研奖励计划资助项目
