期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
可重写Petri网:位置可重写及性质分析
被引量：
3
1
作者
庞善臣
林闯
《计算机学报》
EI
CSCD
北大核心
2012年第10期2182-2193,共12页
针对Petri网对动态系统重构形式化描述和建模能力的不足,提出了可重写Petri网和位置可重写Petri网的基本概念.分析了位置可重写Petri网保持有界性、保守性、可重复性及活性等性质.给出了位置可重写Petri网保持活性的一个充要条件.证明...
针对Petri网对动态系统重构形式化描述和建模能力的不足,提出了可重写Petri网和位置可重写Petri网的基本概念.分析了位置可重写Petri网保持有界性、保守性、可重复性及活性等性质.给出了位置可重写Petri网保持活性的一个充要条件.证明了共享合成Petri网是位置可重写Petri网的一个实例,建立了退化的位置可重写Petri网模拟共享合成Petri网的算法.所得结果能够为动态重构系统的Petri网形式化建模提供理论方法,为大规模动态分布式系统的形式化验证提供有效途径.
展开更多
关键词
可重写
petri
网
位置可重写
petri
网
共享合成
petri
网
活性
模拟
下载PDF
职称材料
题名
可重写Petri网:位置可重写及性质分析
被引量：
3
1
作者
庞善臣
林闯
机构
山东科技大学信息科学与工程学院
清华大学计算机科学与技术系
出处
《计算机学报》
EI
CSCD
北大核心
2012年第10期2182-2193,共12页
基金
国家"九七三"重点基础研究发展规划项目基金(2010CB328105)
国家自然科学基金(90718012
+7 种基金
60970001
60874036
61170183)
山东省优秀中青年科学家科研奖励基金(BS2011DX027
BS2011SW025)
青岛市科技发展计划应用基础研究项目(12-1-4-6-(7)-jch)
山东科技大学杰出青年基金(2011KYJQ104)
山东科技大学科研创新团队支持计划项目(2011KYTD102)资助~~
文摘
针对Petri网对动态系统重构形式化描述和建模能力的不足,提出了可重写Petri网和位置可重写Petri网的基本概念.分析了位置可重写Petri网保持有界性、保守性、可重复性及活性等性质.给出了位置可重写Petri网保持活性的一个充要条件.证明了共享合成Petri网是位置可重写Petri网的一个实例,建立了退化的位置可重写Petri网模拟共享合成Petri网的算法.所得结果能够为动态重构系统的Petri网形式化建模提供理论方法,为大规模动态分布式系统的形式化验证提供有效途径.
关键词
可重写
petri
网
位置可重写
petri
网
共享合成
petri
网
活性
模拟
Keywords
rewritable
petri
nets
rewritable
place
of
petri
nets
sharing
synthesis
petri
nets
liveness
simulation
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
可重写Petri网:位置可重写及性质分析
庞善臣
林闯
《计算机学报》
EI
CSCD
北大核心
2012
3
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
