期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Petri网语言的同步混排运算及在语言分析中的应用
1
作者
曾庆田
《系统工程学报》
CSCD
北大核心
2005年第5期492-496,503,共6页
Petri网语言是用于系统行为分析的有力工具,利用传统的语言运算并不容易刻画结构复杂Petri网的语言行为.为此,引入Petri网语言同步混排运算,并就基于库所指标的Petri网分解和Petri网同步合成过程中满足的语言行为关系,分析了Petri网语...
Petri网语言是用于系统行为分析的有力工具,利用传统的语言运算并不容易刻画结构复杂Petri网的语言行为.为此,引入Petri网语言同步混排运算,并就基于库所指标的Petri网分解和Petri网同步合成过程中满足的语言行为关系,分析了Petri网语言的同步混排运算的作用和意义,在此基础上给出了两种用于结构复杂Petri网语言行为描述的方法.
展开更多
关键词
PETRI网
同步混排
Peteri网语言
分解
同步
合成
下载PDF
职称材料
一种基于同步合成构造Petri网进程表达式的方法
被引量:
11
2
作者
曾庆田
《计算机学报》
EI
CSCD
北大核心
2008年第3期381-390,共10页
Petri网的进程是用于系统行为和状态描述的有效工具,Petri网的进程表达式可以给出系统全部进程的描述,但是对于任意无界Petri网而言求取其进程表达式十分困难.文中首先考察结构简单的S-网的进程行为,给出各种类型的S-网的进程表达式的...
Petri网的进程是用于系统行为和状态描述的有效工具,Petri网的进程表达式可以给出系统全部进程的描述,但是对于任意无界Petri网而言求取其进程表达式十分困难.文中首先考察结构简单的S-网的进程行为,给出各种类型的S-网的进程表达式的描述方法.然后拓展了Petri网同步合成的概念,分析了同步合成过程中基本进程段集之间的关系,并利用同步混排给出了进程表达式之间的关系.随后证明了一个Petri网可以通过一组S-网同步合成得到,利用S-网的进程表达式给出了构造Petri网的进程表达式的方法.
展开更多
关键词
PETRI网
S-网
同步
合成
同步混排
进程
进程表达式
下载PDF
职称材料
生产者-消费者系统的建模与行为分析方法研究
被引量:
8
3
作者
张秀娟
《微电子学与计算机》
CSCD
北大核心
2004年第5期97-100,共4页
生产者-消费者系统是系统工程中的一个典型系统。讨论了基于Petri网的生产者-消费者系统建模,借助基于库所指标的Petri网分解方法来分析生产者-消费者的系统行为,利用Petri网语言的同步混排运算给出了生产者-消费者系统的行为描述,对基...
生产者-消费者系统是系统工程中的一个典型系统。讨论了基于Petri网的生产者-消费者系统建模,借助基于库所指标的Petri网分解方法来分析生产者-消费者的系统行为,利用Petri网语言的同步混排运算给出了生产者-消费者系统的行为描述,对基于Petri网的系统分析提供了有效的方法。
展开更多
关键词
生产者-消费者系统
PETRI网
库所指标
PETRI网语言
同步混排
下载PDF
职称材料
题名
Petri网语言的同步混排运算及在语言分析中的应用
1
作者
曾庆田
机构
山东科技大学计算机科学与技术系
出处
《系统工程学报》
CSCD
北大核心
2005年第5期492-496,503,共6页
基金
国家自然科学基资助项目(6017305360274063)
山东省中青年科学家科研奖励基金资助项目(02BS609)
文摘
Petri网语言是用于系统行为分析的有力工具,利用传统的语言运算并不容易刻画结构复杂Petri网的语言行为.为此,引入Petri网语言同步混排运算,并就基于库所指标的Petri网分解和Petri网同步合成过程中满足的语言行为关系,分析了Petri网语言的同步混排运算的作用和意义,在此基础上给出了两种用于结构复杂Petri网语言行为描述的方法.
关键词
PETRI网
同步混排
Peteri网语言
分解
同步
合成
Keywords
Petri net
synchronized shuffle
Petri net language
decomposition
synchronous comlx)sition
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
一种基于同步合成构造Petri网进程表达式的方法
被引量:
11
2
作者
曾庆田
机构
山东科技大学信息科学与工程学院
出处
《计算机学报》
EI
CSCD
北大核心
2008年第3期381-390,共10页
基金
国家自然科学基金(60603090
90718011)
+1 种基金
山东省"泰山学者"专项基金
山东省优秀中青年科学家奖励基金(2006BS01019)资助
文摘
Petri网的进程是用于系统行为和状态描述的有效工具,Petri网的进程表达式可以给出系统全部进程的描述,但是对于任意无界Petri网而言求取其进程表达式十分困难.文中首先考察结构简单的S-网的进程行为,给出各种类型的S-网的进程表达式的描述方法.然后拓展了Petri网同步合成的概念,分析了同步合成过程中基本进程段集之间的关系,并利用同步混排给出了进程表达式之间的关系.随后证明了一个Petri网可以通过一组S-网同步合成得到,利用S-网的进程表达式给出了构造Petri网的进程表达式的方法.
关键词
PETRI网
S-网
同步
合成
同步混排
进程
进程表达式
Keywords
Petri net
S-Net
synchronization composition
synchronization shuffle
process
process expression
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
生产者-消费者系统的建模与行为分析方法研究
被引量:
8
3
作者
张秀娟
机构
山东科技大学信息科学与工程学院
出处
《微电子学与计算机》
CSCD
北大核心
2004年第5期97-100,共4页
基金
国家自然科学基金项目(60274063)
山东省中青年科学家科研奖励基金项目(02BS069)
文摘
生产者-消费者系统是系统工程中的一个典型系统。讨论了基于Petri网的生产者-消费者系统建模,借助基于库所指标的Petri网分解方法来分析生产者-消费者的系统行为,利用Petri网语言的同步混排运算给出了生产者-消费者系统的行为描述,对基于Petri网的系统分析提供了有效的方法。
关键词
生产者-消费者系统
PETRI网
库所指标
PETRI网语言
同步混排
Keywords
Producer-consumer system, Petri net, Index of places, Petri net language, Synchronization shuffle
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Petri网语言的同步混排运算及在语言分析中的应用
曾庆田
《系统工程学报》
CSCD
北大核心
2005
0
下载PDF
职称材料
2
一种基于同步合成构造Petri网进程表达式的方法
曾庆田
《计算机学报》
EI
CSCD
北大核心
2008
11
下载PDF
职称材料
3
生产者-消费者系统的建模与行为分析方法研究
张秀娟
《微电子学与计算机》
CSCD
北大核心
2004
8
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部