有界Petri网进程表达式与活性的关系

来源 :应用科学学报 | 被引量 : 0次 | 上传用户：laoyet

【摘要】

：

Petri网进程是对Petri网并发语义的一个刻画，是Petri网分析和验证的有效手段．该文针对有界Petri网研究进程表达式和活性性质之间的关系，给出了基于进程表达式的有界Petri网及其

【作者】

：

闫春钢汪明新刘关俊

【机构】

：

同济大学计算机科学与技术系,同济大学嵌入式系统与服务计算教育部重点实验室

【出处】

：

应用科学学报

【发表日期】

：

2012年4期

【关键词】

：

Petri网进程表达式活性陷阱虹吸

【基金项目】

：

国家“973”重点基础研究发展计划基金(No.2010CB328101);国家科技重大专项基金(No.2009ZX01036-001-002);上海市曙光跟踪计划基金(No.08GG08)资助

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

Petri网进程是对Petri网并发语义的一个刻画，是Petri网分析和验证的有效手段．该文针对有界Petri网研究进程表达式和活性性质之间的关系，给出了基于进程表达式的有界Petri网及其同步合成网的活性判定定理．同时研究了进程表达式与虹吸、陷阱间的关系，是Petri网活性研究的一个新的尝试．

其他文献

天正电气辽宁区域营销渠道改进策略研究

浙江天正电气股份有限公司是中国低压电器行业的领军企业之一,一直致力于打造具有核心竞争力的绿色组织,其品牌价值主张为“天正绿,不一样的来电感觉”,旨在为客户提供更可靠

学位

低压电器渠道战略渠道结构渠道功能改进策略

乡伴

从南京主城一路向西南，在江宁美丽乡村西部入口，坐落着以片民居。这片沿着白鹭湖延伸的村落宁静、安逸，沿湖的菜园里，整齐地栽种着各种蔬菜，在春目的甘露里吐露出新绿。原木做成的

期刊

星级酒店种植园

近红外光谱用于干粉灭火剂有效成分含量测定及种类识别的快速方法研究

为满足消防安全领域中灭火剂产品质量的快检需求,提出了一种近红外漫反射光谱快速测量ABC干粉灭火剂主要有效成分磷酸二氢铵（NH4H2PO4）及识别ABC干粉灭火剂与BC干粉灭火剂的新

期刊

近红外ABC干粉灭火剂PLSSIMCA

基层医院非层流手术间空气动静态消毒的效果比较

目的探讨非层流手术间应用两种空气消毒法的消毒效果。方法同一手术间,第1台手术均为胃大部分切除术,前10 d采用静态消毒（紫外线灯管照射消毒）,后10 d采用动态消毒（壁挂式器消毒

期刊

手术间空气消毒空气消毒器紫外线灯管

互联网新闻信息服务管理规定

第一章总则第一条为了规范互联网新闻信息服务，满足公众对互联网新闻信息的需求，维护国家安全和公共利益，保护互联网新闻信息服务单位的合法权益，促进互联网新闻信息服务健康、

期刊

互联网新闻信息服务管理规定直辖市互联网信息服务服务提供者

用布地奈德对肺炎患儿进行雾化吸入治疗的效果评价

目的：评价用布地奈德对肺炎患儿进行雾化吸入治疗的临床效果。方法：选取2016年8月至2017年8月期间广东省佛山市南海区罗村医院收治的100例肺炎患儿作为研究对象。采用单双号

期刊

肺炎布地奈德雾化吸入

利用瑞利波法检测地基波速中的测点布置问题探讨

利用既有精确解和瑞利波近似解，分析了泊松比为0．30的匀质弹性地基在竖向点源简谐振动下地表质点振动相位及其求出的瑞利波随点一源距、测点间距而变化的规律．研究表明，当由面波

期刊

地基面波法瑞利波测点布置

氯化锂对低血糖脑损伤的保护作用及机制研究

目的低血糖是糖尿病治疗过程中出现的最常见也是最可怕的并发症之一。持续和严重的低血糖事件可引起不可逆的神经损伤,但其发病的确切机制尚不清楚,也缺乏有效的防治手段。本

学位

低血糖氯化锂凋亡认知障碍炎症

龙胆泻肝丸的溶出度研究及中药溶出度研究探讨

目的：建立龙胆泻肝丸的体外溶出度的测定方法，并探讨中药丸剂溶出度研究的相关问题。方法：采用HPLC等度洗脱法同时测定不同取样点时溶出液中指标成分龙胆苦苷和栀子苷的含量，计算

期刊

龙胆泻肝丸溶出度龙胆苦苷栀子苷HPLCWeibull质量控制

WEB版高等院校教学成果申报系统平台的设计与开发

高等院校教学成果申报是目前教学工作者和行政管理人员科研工作的重要内容，为了简化学校科研处教学成果申报流程，并实现教职工和管理者有效的网络互动，设计并开发一个web版的高

期刊

成果申报高等院校成果展示科研

有界Petri网进程表达式与活性的关系

其他学术论文