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

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

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

期刊

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

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

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

期刊

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

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

与本文相关的学术论文