| 标识部分集合二结构（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 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
