标识部分集合二结构(LPS2S)的深重命名及其应用 |
| |
引用本文: | 蒋树强 蒋昌俊 张鹏. 标识部分集合二结构(LPS2S)的深重命名及其应用[J]. 计算机科学, 2002, 29(7): 152-153 |
| |
作者姓名: | 蒋树强 蒋昌俊 张鹏 |
| |
作者单位: | 山东科技大学计算机科学与工程系,泰安,271019;同济大学计算机科学与工程系,上海,200092 |
| |
基金项目: | 国家自然科学基金,教育部优秀青年教师教学科研奖励计划资助项目 |
| |
摘 要: | 文[4]对LPS2S与Petri网(EN系统或C/E)之间的联系做了深入分析。LPS2S与并发系统的联系,对于Petri网理论与变迁系统来说更是如此;此外二结构本身也有丰富的理论。我们知道,LPS2S是在标识部分二结构(LP2S)的基础上构造出来的,我们感兴趣的是lp2s经过域映射与重命名作用所得到的lps2s,即BREGV与REGV中的元素。本文提出的DLP2S与深重命名的概念能使我们更加深入地认识LPS2S。
|
关 键 词: | Petri网 深重命名 标识部分集合二结构 LPS2S |
Deep Rename of LPS2S and Applications |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|
点击此处可从《计算机科学》下载全文 |