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

Deep Rename of LPS2S and Applications

作　　者：蒋树强[1,2] 蒋昌俊[1,2] 张鹏 

机构地区：[1]山东科技大学计算机科学与工程系,泰安271019 [2]同济大学计算机科学与工程系,上海200092

出　　处：《计算机科学》2002年第7期152-153,共2页Computer Science

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

摘　　要：文[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).

关 键 词：PETRI网 深重命名 标识部分集合二结构 LPS2S 

分 类 号：TP183[自动化与计算机技术—控制理论与控制工程]