操作表达式的Petri网表示

来源 :计算机科学与探索 | 被引量 : 0次 | 上传用户：temp1229

【摘要】

：

程序以操作表达式的形式呈现,而其语义则以公理的形式给出。为帮助理解这些公理并作为实现操作表达式的基础,给出了操作表达式的Petri网表示。传统Petri网的库所（place）概念与

【作者】

：

袁崇义黄雨赵文黄舒志

【机构】

：

北京大学教育部高可信软件技术重点实验室,北京大学信息科学技术学院,北京大学软件工程国家工程研究中心

【出处】

：

计算机科学与探索

【发表日期】

：

2010年11期

【关键词】

：

物理对象操作表达式 PETRI网语义公理 physical objects； expressions of operations； Petri net； s

【基金项目】

：

The National Natural Science Foundation of China under Grant No.60803014（国家自然科学基金）,the National Grand Funda-mental Research973Program of China under Grant No.2010CB328103（国家重点基础研究发展规划（973））,the Nation

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

程序以操作表达式的形式呈现,而其语义则以公理的形式给出。为帮助理解这些公理并作为实现操作表达式的基础,给出了操作表达式的Petri网表示。传统Petri网的库所（place）概念与程序中变量概念有本质的不同,增加了变量概念的Petri网称为Cnet。从回顾Cnet的基本定义入手,研究操作表达式的网表示。更多还原

其他文献

新型苯酚类茂金属配合物的合成及表征

利用Sonogashira偶联反应合成了一系列邻位双炔基取代的苯酚类配体,通过配位反应,得到一种新型的苯酚类茂金属配合物。通过1H NMR,13C NMR,HRMS谱图及单晶X射线衍射对配合物

期刊

茂金属苯酚合成催化剂metallocenephenolsynthesiscatalyst

串联质谱的蛋白质序列鉴定技术综述

蛋白质组学的主要目的是鉴定出生物体内的蛋白质的种类和数量。为达到这个目的，人们开发了多种蛋白质鉴定算法，包括数据库搜索方法、DeNovo方法、PST（肽段序列标签）方法和质谱数

期刊

蛋白质组学串联质谱数据库搜索方法DENovo算法质谱数据库方法proteomics tandem mass spectrum database se

应用改进的电气几何模型分析500kV同塔双回输电线路雷电绕击性能

利用电气几何模型（electro．geometricmodel，EGM）分析超高压及以下电压等级的输电线路雷电绕击性能时，因没有考虑风速以及周围植被的影响，取得的结果与运行经验不一致，针对此，提出改进

期刊

输电线路电气几何模型绕击超高压transmission line EGM lightning shielding UHV

基于独立分量分析的配电网谐波源定位方法

针对配电网中谐波源难以精确定位的问题,提出一种基于独立分量分析理论的谐波源定位方法。通过对配电网中的多种谐波源模型进行仿真,采用快速独立分量分析原理对公共耦合点的

期刊

独立分量分析能量函数测量阻抗法谐波源定位定位精度independent component analysis energy function meas

聚丙烯/线型低密度聚乙烯共混物流延膜的雾度与结构

向纯聚丙烯(PP)流延膜中引入了5%~15%(w)的线型低密度聚乙烯(LLDPE),利用白光干涉轮廓仪观察流延膜表面三维形貌,利用激光光散射研究了引入LLDPE后PP流延膜内部结构的变化,采

期刊

聚丙烯/线型低密度聚乙烯共混物流延膜雾度结晶取向polypropylene/linear low-density polyethylene blend

一起光纤差动保护信道告警事件的分析及解决方案

针对马来西亚TNB电力公司132 kV线路发生的光纤差动保护信道告警事件，通过对现场信道测试和接口转换器码流偏差容忍度测试，找出引起保护信道告警的根本原因是综合业务接入设备

期刊

差动保护信道综合业务接入设备同步数字体系接口转换器码流速率differential protectionchannelintegrated serv

基于FFSM算法的民事案件关联分析

随着数据挖掘技术在司法领域的应用,人们迫切地希望在海量的法律文书中挖掘出所需要的信息,特别是隐藏在海量的法律文本中的一些有价值的人案关联信息。对比于刑事领域的关联

期刊

关键分析民事案件FFSM算法

RR_tree：多维索引的关系模式实现新方法

为了有效地管理多媒体信息、地理信息及空间数据,提出了多种针对多维数据的索引方法。其中一些索引方法已经在现有的商用数据库系统(DBMS)得以实现,然而学术研究及实际应用中需要更多种的多维乃至高维数据索引方法的支持。有研究提出在关系数据库上利用存储结构、存储过程、触发器来模拟并实现X_tree的多维数据索引功能。在此基础上加以改进,重新设计了模式结构,增加了关键的索引,引入了聚簇存储,以关系模式实现多

期刊

R_tree技术关系模拟模式结构RR—tree技术R_tree relation simulation schema structure RR-tree

多核架构下的数据处理算法优化策略综述

多核处理器，尤其是单芯片多处理器（chipmulti-processor，CMP）能够提供强大的共享内存的并行资源，然而单核处理器上的程序和算法并不能充分利用多核架构提供的并行计算资源，因此必须

期刊

多核单芯片多处理器(CMP)数据级别并行(DLP)线程级别并行(TLP)单指令多数据流(SIMD)multi-core chip multi-proc

人文社科特色资源需求和利用方式演进及其支撑平台技术探析

论文在分析人文社科资源需求和利用方式演进路径基础上,提出机构&智库基于领域知识体系的专题资源建设应用模式;重点分析了专题知识资源开发支撑平台技术,介绍了开发"两山理

期刊

学科特色资源知识管理知识专题知识本体

操作表达式的Petri网表示

与本文相关的学术论文