Petri网和代数并发语义

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

【摘要】

：

Milner认为：“把代数并发性方面的工作与Petri在Petri网上早早取得的丰硕成果联系起来，是一个非常有希望的发展线索．然而由于它们的概念基础并不完全吻合，所以还有困难．”本文即从

【作者】

：

袁崇义

【机构】

：

北京大学计算机科学与技术系!北京,100871

【出处】

：

计算机学报

【发表日期】

：

1998年S1期

【关键词】

：

PETRI网代数并发语义 л演算进程交互冲突冲突消解 Petri nets algebraic parallel semantics л-calcu

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

Milner认为：“把代数并发性方面的工作与Petri在Petri网上早早取得的丰硕成果联系起来，是一个非常有希望的发展线索．然而由于它们的概念基础并不完全吻合，所以还有困难．”本文即从Milner的图灵奖演说入手，介绍Petri网与л演算相公的若干基本内容和基本观点，并找出Petri网与代数并发语义的根本差别．

其他文献

气相色谱法测定恩替卡韦中有机溶剂残留量

摘要：目的：建立气相色谱法测定恩替卡韦中有机溶剂残留量。方法：采用Agilent KB-624毛细管柱（60m×0.53mm，3.0？m）；氮气为载气；进样口温度为250℃；检测器温度为300℃；柱温为200℃。结果：在本文色谱条件下，分离度良好，检测浓度在所考察的范围内与峰面积具有良好的线性，r=0.9990～0.9999；平均回收率为96.3%～106.2%，精密度试验及准确度试验的RSD均

期刊

恩替卡韦残留溶剂气相色谱法Entecavirresidual solventsgas chromatography

原子吸收分光光度法测定铬条件探讨

原子吸收分光光度法测定水样中的铬，适当调整乙炔和空气的流量比可以显著提高测定方法的灵敏度，通过调整乙炔和空气的流量比，及对低浓度样品的实际测试，确定原子吸收分光光度法测

期刊

原子吸收分光光度法灵敏度流量比连续图谱atomic absorption spectrophotometry sensitivity flow rati

谈天然气转化利用技术的研究进展

主要评述了自1995年以来，全球天然气转化利用商业化技术的重大进展，包括合成气生产、天然气制合成油、含氧化合物生产（主要是甲醇和二甲醚）、甲醇制烯烃。综述了甲烷脱氢芳构化反

期刊

甲烷合成气自热重整甲醇甲醇制烯烃二甲醚

石油勘探职工违章心理探讨及对策

摘要：石油勘探是野外工作，由于天气及长期远离基地原因，职工由于心理原因，经常会造成违章，以至于安全方面出现事故。本文依据勘探基层队野外职工为剖析对象，针对职工违章心理分析和讨论，提出了自己的应对策略及办法。　　关键词：违章心理安全对策　　随着勘探作业自动化程度的提高、生产安全设施不断完善，标准化操作已成为潮流与趋势。事故发生率越来越低。可是纵观钻井平台所发生的发生事故，违章操作逐渐成为事故的

期刊

违章心理安全对策

多机相关任务的相关矩阵调度算法

本文讨论了多机相关任务的调度问题，从时间和空间两方面考虑，提出了一种新的多机相关任务的调度算法－多机相关任务的相关矩阵调度算法（ＲＭＳＡ）。利用可变的相关矩阵Ｍｕ，表示任务的空间需求与

期刊

多处理机系统调度算法任务分配Multiprocessor system scheduling algorithm task allocation

客户／服务器风格的体系结构描述语言NEWCOM

本文介绍一个客户／服务器风格的体系结构描述语言ＮＥＷＣＯＭ。它的抽象级别介于需求描述和第四代语言之间。ＮＥＷＣＯＭ程序从宏观上描述一个在客户／服务器环境下运行的ＭＩＳ。它支持多种组件，并为这些组件

期刊

体系结构描述语言客户/服务器NEWCOM语言MISArchitecture description language client/server

增强移动计算机网络端—端通信可靠性

通过改善移动台和基站之间网络层通信的可靠性，便能有效增强移动计算机网络端－端通信的性能。当网络层提供数据服务时，本文给出了移动台和基站之间的可靠数据报协议，该协议保证数

期刊

移动计算机网络虚电路端-端通信可靠性Mobile computer network mobile handover dependable datag

浅议内部审计文化建设

构建内部审计文化建设，孕育一种鲜明的审计文化，是提升内部审计执行力的根本。笔者从分析内部审计文化的含义及主要特征入手，探讨了内部审计文化的具体内容及构建内部审计文化的

期刊

内部审计文化建设

Cache对加速比的影响

并行处理是获得高性能计算机的有效而必要的手段，因而成为新一代计算机的结构特征。本文提出了考虑ｃａｈｅ开销的加速比模型，并从理论和实际应用方面讨论了ｃａｃｈｅ对加速比的影响。

期刊

并行处理加速比CACHE性能评价并行计算机:Parallel processing speedup cache performance eval

AMS智能设备管理在化工领域的应用

摘　要：预防性维修似乎化工设备维护的主流发展方向，而艾默生公司AMS软件就是针对这一应用而开发设计。本文详细介绍了AMS智能设备管理软件在化工装置的应用，并总结与传统维护方式相比的技术与成本优势，并就未来建设全面的预防性维护给出了建议。　　关键词：AMS　智能设备　组态　监测和诊断　　一、概述　　进入2000年以来，我国石油化工领域逐步向大容量、高参数的方向发展，任何一个设备的故障，都可能直接导致

期刊

AMS智能设备组态监测和诊断

Petri网和代数并发语义

与本文相关的学术论文