2. 您的位置
3. 首页
4. 期刊论文
5. An Algorithm to Construct Concurrent Reachability Graph of Petri Nets

An Algorithm to Construct Concurrent Reachability Graph of Petri Nets

来源 :Journal of DongHua University | 被引量 : 5次 | 上传用户：xiaolinxiaoyi

【摘 要】

：

Reachability graph is a very important tool to analyze the dynamic properties of Petri nets, but the concurrent relation of transitions in Petri nets cannot be represented by reachability graph. Petri

【作 者】

：

张金泉 倪丽娜 蒋昌俊 

【机 构】

：

DepartmentofComputerScience,CollegeofInformationScience&,Engineering,DepartmentofComputerScience

【出 处】

：

Journal of DongHua University

【发表日期】

：

2004年03期

【关键词】

：

可达图 皮特里网 并行系统 并行可达标识 计算机网络 Petri nets  concurrent system  Concurrent Reachable M 

【基金项目】

：

This work is support partially by projects of National Preeminent Youth Science Foundation，中国优秀博士论文基金，Foundation for University Key Teacher by the Minstry of Education

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

Reachability graph is a very important tool to analyze the dynamic properties of Petri nets, but the concurrent relation of transitions in Petri nets cannot be represented by reachability graph. Petri net is a concurrent system, while reachability grap

其他文献

应用体外反搏与电头皮针治疗脑血栓形成

应用体外反搏与电头皮针治疗脑血栓形成海南省农垦三亚医院理疗科刘丕显我院应用体外反搏加电头皮针治疗脑血栓形成，并与电头皮针和体外反搏单独治疗脑血栓形成作对照。现将结

期刊

脑血栓形成体外反搏电头皮针

乐学九大渠道

期刊

计算方法三角形学生的主体地位信息反馈教学过程学生学习方法课堂教学自学能力培养学生平行四边形

基于粒子群算法的高拱坝仓面排序多目标优化研究

混凝土高拱坝浇筑施工中,仓面排序是重要环节,如何通过施工进度和施工均衡性的优化获得合理的仓面排序方案是需要解决的重要问题。目前的排序方法大都是根据已有的经验或基于

期刊

混凝土高拱坝施工仿真仓面排序粒子群算法多目标优化high concrete arch dam construction simulation co

浅淡畜牧养殖技术推广中的问题及有效措施

随着我国社会经济的不断发展，我国畜牧养殖技术也得到了较大的发展，在现代化发展背景下，畜牧养殖行业要想得到更好地发展，就需要加大对畜牧养殖技术的推广，从而才能使畜牧养殖技术

期刊

畜牧养殖技术推广问题措施

羊瘤胃酸中毒的诊治

瘤胃酸中毒是一种全身代谢紊乱的疾病,是瘤胃积食的一种特殊类型,又称消化性酸中毒、急性碳水化合物过食、乳酸中毒、酸性消化不良、谷物过食以及过食豆谷综合征等,此病主要

期刊

瘤胃酸中毒急性碳水化合物过食诊治羊乳酸中毒谷物饲料代谢紊乱瘤胃积食

从创伤的统计探讨创伤康复的有关问题

从创伤的统计探讨创伤康复的有关问题上海市杨浦区中心医院骨科杨安礼，朱福根１资料和方法研究对象来源于１９８９年１月～１９９３年１２月间我院骨科和骨科协作病房，共２５００例，对之进行回顾性流行病学统计分析

期刊

创伤康复统计

手机号码支付场景建设与展望

手机号码支付是中国人民银行基于网上跨行清算系统推出的最新功能,目前还处于试点阶段,全国有28家银行陆续上线了该项业务,宣传工作也在全国各地陆续展开。如果仅就目前手机

期刊

支付场景支付功能清算系统手机号码商业银行跨行支付业务转账

含阻尼项双曲型时滞偏微分方程解振动的充要条件

本文讨论一类含阻尼项双曲时滞微分方程解的振动性质，获得了一切解振动的充要条件．

期刊

阻尼项充要条件双曲型偏微分方程振动性质时滞微分方程

APICloud获B轮1亿元投资,由复星集团领投

在移动业务逐渐成为企业布局的关键选择时,App如何敏捷开发与管理成为一一个重要话题。通过“APICloud生态平台”帮助企业移动应用全生命周期的开发,从创建一个应用开始,上传

期刊

投资企业布局移动业务敏捷开发移动应用服务模块平台管理全生命周期

Guass积分不等式及其推广式的最佳值

就Guass积分不等式以及由作者得到的该不等式的推广式,证明其中的常数因子是最佳值.

期刊

积分不等式推广最佳值integral inequality generalization best constant factor