Pi~＋演算及其对Petri网的表达

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

【摘要】

：

为了研究Pi演算模型的表达能力,作者用它来表达Petri网系统,证明了Petri网的某些子类,如自由选择网等,可以直接用Pi演算表达.然而对于一般的Petri网,表达却遇到了困难.文中提

【作者】

：

郝克刚郭小群李向宁

【机构】

：

西北大学信息科学与技术学院,西安电子科技大学电子装备结构实验室

【出处】

：

计算机学报

【发表日期】

：

2011年2期

【关键词】

：

PETRI网 PI演算 Π演算表达能力业务过程管理 Petri net pi calculus π-calculus expressiveness BPM

【基金项目】

：

国家十一五“八六三”高技术研究发展计划重点项目基金（2007AA010305）资助

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

为了研究Pi演算模型的表达能力,作者用它来表达Petri网系统,证明了Petri网的某些子类,如自由选择网等,可以直接用Pi演算表达.然而对于一般的Petri网,表达却遇到了困难.文中提出了一种对Pi演算的扩展,称为Pi＋演算,在原有Pi演算的通信机制中增加了多原语同步通信机制.证明了所有一般Petri网系统均可以用Pi＋演算表达.

其他文献

TSS-BQS系统的GracefulDegradation机制

将门限签名方案分别应用于两种类型的BQs系统（MaskingBOS系统和DisseminationBQS系统），可以得到两种TSS-BQS系统（文中称为TSS-mBQS系统和TSS-dBQS系统）．TSS-mBQS系统的性能优于TSS-

期刊

拜占庭容错技术拜占庭选举系统优雅降级门限签名方案Byzantine fault-tolerance Byzantine quorum system gr

补充营养材料和温度对桉树枝瘿姬小蜂寿命的影响

室内试验结果表明,补充营养材料和温度对桉树枝瘿姬小蜂雌蜂存活时间具有显著影响。25℃条件下,无补充营养材料时,雌蜂的存活时间仅为（3.07±1.7）d,而清水、桉树嫩枝及花粉

期刊

桉树枝瘿姬小蜂存活时间补充营养材料温度Leptocybe invasa Fisher ＆ LaSalle； Longevity； Supplementa

云环境下一种隐私保护的高效密文排序查询方法

数据前端加密是保护云环境下外包数据隐私的一种有效手段，但却给数据查询等操作带来挑战．针对云环境下多数据拥有者数据外包及选择性访问授权特征，为支持大规模加密云数据上高效

期刊

云计算布隆过滤器排序查询层次索引无证书认证cloud computing bloom filter rank query hierarchical i

许志华妙语比拟旗下球星

【正】7月28日,就2010众星中国行,匹克公司总经理许志华接受了记者的采访,他依据性格将旗下3位典型球星分类,以此吸引3类庞大的消费人群。

期刊

阿泰斯特巴蒂尔消费人群贾森总冠军肖恩运动装备罗恩兰德目标消费群

香蕉束顶病毒Haikou2分离物DNA2编码框原核表达及抗血清制备

香蕉束顶病毒（Banana burichy top virus，BBTV）是危害香蕉的主要病毒之一,严重威胁着香蕉的生产。BBTV基因组至少由6个环状ssDNA组分组成,其中DNA2组分变异最大，是否编码蛋白及其

期刊

香蕉束顶病毒Haikou2分离物BBTVDNA2原核表达抗血清制备BBTV Haikou 2 isolate BBTV DNA2 Prokaryotie

执著铸就辉煌创造凝成不朽—《梵高传（节选）》导读

梵高（1853.3.30—1890.7.29）是19世纪后期荷兰继伦勃朗之后的一位最伟大的印象派艺术大师。他37年短暂的一生却走过了光辉的历程，创作了大量的艺术杰作，其作品被荷兰人民称为国宝

期刊

《梵高传(节选)》导读执著19世纪后期艺术大师印象派伦勃朗艺术史

杰克·伦敦的《热爱生命》导读

人生活在世上,不可能事事如意,人人如愿,无论是谁,都会遇到不顺心的事。有的甚至风险叠起,让人望而生畏。不如意的事十有八九,危难的事也时常发生,那我们如何来面对生活,笑傲

期刊

《热爱生命》伦敦杰克导读生活如意

解读《〈名人传〉序》中的英雄形象

罗曼．罗兰是一位有广泛国际影响的作家．一生为争取人类自由、民主与光明进行了不屈的斗争。20世纪初，罗曼·罗兰为让世人“呼吸英雄的气息”，替具有巨大精神力量的英雄树碑立

期刊

英雄形象名人传记《米开朗琪罗传》罗曼.罗兰《托尔斯泰传》解读《贝多芬传》《名人传》

展示美好品质再现难忘细节——《伟大的悲剧》导读

奥地利作家茨威格的《伟大的悲剧》是一篇抒情性强、文学味浓的传记。它体现了茨威格卓尔不凡的手笔和凝重的传记风格。其文学性与历史性的完美结合．让人如穿透时空，亲历历史：真

期刊

《伟大的悲剧》品质美好导读审美感受茨威格历史性文学性

经典课文中蕴含着丰富的人生哲理

古今中外的经典文学作品，经历了时间的考验和历史的筛选，越发散发出迷人的芳香。这些作品或形象鲜明寓意深刻，或耐人寻味，含义丰富。细细探究，会从中品出许许多多人生的哲理，这对正在成长的中学生来说，无疑是丰盛的精神大餐。下面我将试着从《犟龟》、《记承天寺夜游》、《勇气》三篇课文入手，来说说我的一点点思考。　　《犟龟》是德国当代儿童文学家米切尔·恩德的经典之作，这篇童话内容看似简单，但文中的许多形象，寓意

期刊

人生哲理经典课文《记承天寺夜游》经典文学作品蕴含耐人寻味寓意深刻《犟龟》

Pi~＋演算及其对Petri网的表达

与本文相关的学术论文