首页> 中文会议>第十五届全国Petri 网理论与应用学术会议 >含有效冲突的恒定连续Petri网演变图及构造算法

含有效冲突的恒定连续Petri网演变图及构造算法

页面导航

摘要
著录项
相似文献
相关主题

摘要

最大速度恒定的连续Petri网(CCPN)是由David首先提出的一类时延连续Petri网模型,构造其演变图是对其性质进行分析的一种有效方法.而对于含有效冲突的最大速度恒定的连续Petri网,由于有效冲突所引起的变迁激发的不确定性,使得构造演变图变得较为困难.基于有效冲突的两种解决方式一确定优先级或按比例分配流量,给出了计算各变迁瞬发速度的算法2,进而对含有效冲突且有界的CCPN,提出了演变图的构造算法3.利用其演变图,可以对含有效冲突的CCPN进行性能分析.

著录项

来源
《第十五届全国Petri 网理论与应用学术会议》|2015年|1-7|共7页
会议地点合肥
作者
ZHAO Yi-jun; 赵义军; ZHANG Xiao-xuan; 张小轩;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类算法理论;
关键词
连续Petri网; 演变图; 构造算法; 有效冲突; 瞬发速度;
入库时间 2022-08-17 11:05:45

相似文献

中文文献
外文文献
专利

1. 含有效冲突的恒定连续Petri网演变图及构造算法 [J] . 赵义军 ,张小轩 . 计算机科学 . 2016,第011期
2. 区间速率连续Petri网的有效冲突及其消解 [J] . 廖伟志 ,古天龙 . 计算机科学 . 2006,第010期
3. 最大速度恒定的连续Petri网(CCPN)的性质判定及分解 [J] . 王培良 ,赵义军 . 系统仿真学报 . 2005,第z1期
4. 最大速度恒定的连续Petri网(CCPN)的性质及判定方法 [J] . 赵义军 ,王培良 . 系统工程学报 . 2000,第001期
5. 基于冲突检测的一阶混杂Petri网动态行为演变方法 [J] . 廖伟志 ,李文敬 ,陆建波 . 计算机科学 . 2013,第011期
6. 最大速度恒定的连续Petri网(CCPN)的性质判定及分解 [C] . 王培良 ,赵义军 . 第十次全国Petri网学术年会暨形式化方法学术讨论会 . 2005
7. 活的单支Petri网的可达性判定方法及改进的可覆盖性树的构造算法 [A] . 高茜 . 2008

含有效冲突的恒定连续Petri网演变图及构造算法

摘要

著录项

相似文献

相关主题

期刊订阅