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

• 作者: 张小轩 赵义军
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 最大速度恒定的连续Petri网 强(弱)使能 有效冲突 瞬发速度 运行区间 演变图 算法
• 年，卷（期）: 2016,（11）
• 所属期刊栏目: 2015第十五届全国Petri网理论与应用学术会议
• 页码范围: 98-101
• 页数: 4页
• 分类号: TP301
• 字数: 5130字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2016.11.018

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵义军	山东科技大学数学与系统科学学院	26	121	4.0	10.0
2	张小轩	山东科技大学数学与系统科学学院	2	3	1.0	1.0