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

来源 :计算机科学 | 被引量 : 0次 | 上传用户：zhengyunemo

【摘要】

：

文[4]对LPS2S与Petri网(EN系统或C/E)之间的联系做了深入分析.LPS2S与并发系统的联系,对于Petri网理论与变迁系统来说更是如此;此外二结构本身也有丰富的理论.我们知道,LPS2S

【作者】

：

蒋树强蒋昌俊张鹏

【机构】

：

山东科技大学计算机科学与工程系,同济大学计算机科学与工程系

【出处】

：

计算机科学

【发表日期】

：

2002年7期

【关键词】

：

PETRI网深重命名标识部分集合二结构 LPS2S 2-structure .Rename .Deep rename .Base

【基金项目】

：

国家自然科学基金，教育部优秀青年教师资助计划

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

文[4]对LPS2S与Petri网(EN系统或C/E)之间的联系做了深入分析.LPS2S与并发系统的联系,对于Petri网理论与变迁系统来说更是如此;此外二结构本身也有丰富的理论.我们知道,LPS2S是在标识部分二结构(LP2S)的基础上构造出来的,我们感兴趣的是lp2s经过域映射与重命名作用所得到的lps2s,即BREGV与REGV中的元开.本文提出的DLP2S与深重命名的概念能使我们更加深入地认识LPS2S.

其他文献

基于RUP的系统动态行为描述方案

1 UML简介UML最初是由Grady Booch,Jim Rumbaugh,1var JacobSon共同提出[1],它结合了OOA/OOD,OMT,OOSE等方法,并且为了增强其对模型动态行为的描述能力,引入了诸如Statechart

期刊

RUP系统动态行为软件工程计算机UML.RUPDescription scheme Dynamic behaviors. Dual compute

移动IP中基于分布式注册服务器的指针优化策略

Mobility management is one of the key problems in the mobile communication techniques. The performance of the mobile communication networks is heavily depended

期刊

移动IP协议分布式注册服务器指针优化策略网络协议计算机网络Mobile IP Mobility management RS Routing

基于通道的螺旋型布图算法研究与实现

1引言类图是反映面向对象程序结构的重要视图,它由类及类与类之问的关系(包括继承、关联和聚集)构成.在面向对象程序理解与测试中,通过对源程序进行静态分析可以获取类以及类

期刊

螺旋型布图算法有向图类图面向对象程序结构程序理解程序测试软件工程Class diagram. Association Aggregation

汉字笔画知识的自动统计方法研究

1引言　　英语处理的方便之处就在于所有英语单词都可以由26个英文字母按前后关系拼成,而汉字结构复杂,很难找到一种方法用一些类似于英文字母的部件来表达.……

期刊

一个基于层次结构的DSM模型

一、引言分布式共享内存(Distributed Shared Memory,DSM)是并行处理中的一种关键技术.它为程序员提供了一个逻辑上统一的虚拟地址空间,任何一个处理机都可以对这一地址空间

期刊

DSM模型层次结构并行处理软件DSM .Group Consistency model Granularity Protocol Engine

基于DNA模型和COM技术的电子商务系统研究

1 引言随着COM组件、XML和多层分布式系统等新技术应用于Web应用系统[2,5],进行事务逻辑处理,以实现更为复杂的商务应用.建立一个能够承受中等负载,适用于普遍中小型企事业单

期刊

电子商务系统DNA模型COM组件INTERNETWindows DNACOME-CommerceWebInternte/Intranet

数字化校园网信息资源组织模型与实现

1.问题引入Internet的出现和发展,使得人类全部的信息资源以前所未有的程度和方式在全球内相互联通.信息资源即为在In-ternet上公开发布的网页和在线数据库的总和[1].在数字

期刊

数字化校园网信息资源组织模型网页计算机网络Campus-networkInformation resource Organization Mode

CME分析中的丢番图方程求解

1.引言循环的Cache不命中率分析是编译优化中的关键技术之一.CME(Cache Miss Equation)是美国Princeton大学的S.Ghosh博士提出的循环Cache不命中率分析的计算模型[1],它以循

期刊

编译优化丢番图方程CME分析整数解CME analysisDiophantine equationLattice test

一种带局部回溯的属性约简算法

In this paper, the existing attribute reduction algorithms in rough sets are classified as members of TD-al-gorithms (Top Down); then a new reduction algorithm

期刊

属性约简算法知识约简粗糙集理论局部回溯Rough setsAttribute reductionSFSSBSRetrospect

一种基于CMM的软件过程模型

<正> 1 引言 CMM(Capability Maturity Model,能力成熟度模型)是从80年代中期开始,由美国国防部资助,卡耐基·梅隆大学(CMU)的软件工程研究所(SEI)研究提出的描述有效的

期刊

软件工程软件能力成熟度模型CMM软件过程模型软件开发CMMV-ModelProcess modelingCMM key process area

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

与本文相关的学术论文