%0 Journal Article
%T Deep Rename of LPS2S and Applications<br>标识部分集合二结构（LPS2S）的深重命名及其应用
%A 蒋树强
%A 蒋昌俊
%A 张鹏
%J 计算机科学
%D 2002
%I 
%X 文4]对LPS2S与Petri网(EN系统或C/E)之间的联系做了深入分析。LPS2S与并发系统的联系,对于Petri网理论与变迁系统来说更是如此;此外二结构本身也有丰富的理论。我们知道,LPS2S是在标识部分二结构(LP2S)的基础上构造出来的,我们感兴趣的是lp2s经过域映射与重命名作用所得到的lps2s,即BREGV与REGV中的元素。本文提出的DLP2S与深重命名的概念能使我们更加深入地认识LPS2S。
%K Petri网
%K 深重命名
%K 标识部分集合二结构
%K LPS2S
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=214BAD3ED8D33C42&yid=C3ACC247184A22C1&vid=771469D9D58C34FF&iid=DF92D298D3FF1E6E&sid=04445C1D2BDA24EE&eid=D59111839E7C8BDF&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=8