-
题名Petri网的进程网系统
被引量：31
- 1
-
-
作者
曾庆田
吴哲辉
-
机构
中国科学院计算技术研究所智能开放实验室
山东科技大学计算机科学与技术系泰安
山东科技大学计算机科学与技术系
-
出处
《计算机学报》
EI
CSCD
北大核心
2002年第12期1308-1315,共8页
-
基金
国家自然科学基金 ( 6 0 1730 5 3
6 98730 2 9)资助
-
文摘
提出了 Petri网的进程网系统的概念 .一个 Petri网的进程网系统是以其基本进程段的集合为新的变迁集 ,以各个基本进程段集的输入和输出库所集的并集为新的库所集 ,以原网系统的初始标识为初始标识而得到的网系统 ,它可以很好地描述原网系统的进程行为 .文中讨论了求取任意 Petri网的基本进程段的算法 ,该算法是通过研究网中的极小可重复向量和极小受控可重复向量在可覆盖树上的分布特征实现的 ,文中还给出了通过网结构来描述各个基本进程段之间关系的方法 ,从而求出一个 Petri网的进程网系统 .
-
关键词
PETRI网
进程网系统
基本进程段
可重复向量
受迭可重复向量
特征可达树
-
Keywords
Petri net, process net system, basic process section, repetitive vector, controlled repetitive vector, characteristic reachability tree
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名层次结构的进程网
- 2
-
-
作者
郭峰
乔磊
毛文祥
-
机构
北方工业大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2016年第11期83-87,共5页
-
基金
国家自然科学基金(61070030
61370051)
+1 种基金
北京市教委人才创新团队计划(4062012)
2015年北京市大学生科学研究与创业计划项目成果资助
-
文摘
进程网(Process Net)是一种结合进程代数和Petri网理论的Petri网模型。当系统过于复杂时,进程网系统模型在实际应用中会遇到节点爆炸的问题,此时需要引入层次结构。提出了层次结构的进程网,给出了层次进程网的建模过程和实现算法,解决了大的复杂系统建模和状态空间爆炸问题,可以清楚地反映出模型的层次,便于对进程网进行细化得到准确的模型,也便于用逐步求精、自顶向下的方法对被模拟系统进行建模,帮助用户实现各种粒度的仿真服务。
-
关键词
进程网
层次结构
细化
二叉树
-
Keywords
Process net
Hierarchy structure
Refinement
Binary tree
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名基于进程网系统的Petri网性质分析
- 3
-
-
作者
曾庆田
吴哲辉
马炳先
-
机构
山东科技大学信息科学与工程学院
-
出处
《山东科技大学学报（自然科学版）》
CAS
2003年第2期11-15,共5页
-
基金
国家自然科学基金资助项目 ( 6 0 1730 5 3
6 98730 2 9)
-
文摘
Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集 ,以各个基本进程段集的输入和输出库所集的并集为新的库所集 ,以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念 ,讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。
-
关键词
PETRI网
进程网系统
性质分析
进程行为
进程段
初始标识
网结构
-
Keywords
Petri net
process net system
property analysis
-
分类号
TP183
[自动化与计算机技术—控制理论与控制工程]
-
-
题名Petri网的进程表达式与语言表达式
被引量：7
- 4
-
-
作者
曾庆田
吴哲辉
马炳先
-
机构
中国科学院计算机技术研究所智能信息处理重点实验室
山东科技大学计算机科学与技术系
-
出处
《小型微型计算机系统》
CSCD
北大核心
2004年第4期654-658,共5页
-
基金
国家自然科学基金 ( 60 173 0 5 3
60 2 740 3 9)资助
山东省中青年科学家科研奖励基金 ( 0 2 BS0 69)资助
-
文摘
Petri网的语言和进程都是网系统行为的一种有效的描述手段 .对应的进程表达式和语言表达式给出了系统全体行为的约束描述 .本文首先对 Petri网的进程表达式进行了类型的划分并给出了相应的代数判定依据 ,随后证明了 Petri网的进程表达式与语言表达式的类型一致性 ,由此给出了由进程表达式求取语言表达式的算法 ,为基于 Petri网语言 (尤其是无界 Petri网 )
-
关键词
PETRI网
语言
进程表达式
进程网系统
属型
算法
-
Keywords
Petri net
language
process expression
process net system
type
algorithm
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名Petri网进程的描述方法研究综述
- 5
-
-
作者
曾庆田
范昊
吴哲辉
-
机构
山东科技大学
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2005年第z1期7-11,共5页
-
基金
国家自然科学基金(60173053 和 60274063) 及山东省自然科学基金(Y2002G09)资助.
-
文摘
综述了我们在Petri网的进程研究方面所取得的成果,完整地给出了Petri网进程描述方法的体系.详细阐述了Petri网的满进程、Petri网的基本进程段、Petri网的进程表达式、Petri网的进程网系统等概念.给出了Petri网基本进程段的划分标准,证明了任意Petri网的基本进程段集是一个有限集.分别研究了有界Petri网、无界公平Petri网和任意无界Petri网的进程表达式,给出了与进程表达式描述能力等价的Petri网的进程网系统的概念,研究了进程系统的语言表达式同原系统的进程表达式之间的一一对应关系.
-
关键词
PETRI网
进程
满进程
基本进程段
进程表达式
进程网系统
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名一种基于进程验证的Petri网可达性判定方法
被引量：11
- 6
-
-
作者
于枫
罗军舟
李伟
王鹏
-
机构
东南大学计算机科学与工程学院
江苏科技大学计算机科学与工程学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2010年第2期288-299,共12页
-
基金
国家自然科学基金项目(60773103
60903161
+5 种基金
60903162)
国家"九七三"重点基础研究发展规划项目基金(2010CB328104)
高等学校博士学科点专项科研基金(200802860031)
江苏省自然科学基金重点项目(BK2008030)
江苏省网络与信息安全重点实验室(BM2003201)
计算机网络和信息集成教育部重点实验室(93K-9)资助~~
-
文摘
为了解决Petri网的可达性判定问题,提出了一种基于进程验证的可达性判定方法.通过分析Petri网基本进程段子段间偏序关系,该方法提出原子进程段概念,求得原子进程段集及其偏序关系集作为可达性判定的验证对象.基于原网状态方程解向量、原子进程段T-向量的线性纯整数规划问题解,选取该解中非零分量对应的原子进程段子集作为待验进程段集,选取待验进程段间的偏序关系子集作为待验推理规则集,通过验证是否存在这两个集合上的以初始标识M0为推导初态、目的标识Md为推导终态的序列而判定(M0,Md)是否可达.分析表明该可达性判定算法的时间复杂度是依赖于原子进程段集规模的,最坏情况下不超过变迁集规模.
-
关键词
PETRI网
可达性判定
Petri网进程
进程验证
-
Keywords
Petri net
reachability determining
process of Petri net
process verification
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名基于Petri网进程的协议测试例生成方法及其实例
被引量：2
- 7
-
-
作者
范昊
束德勤
-
机构
山东农业大学信息科学与工程学院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2008年第S2期25-28,共4页
-
基金
国家自然科学基金重大研究计划(90718011)
国家自然科学基金(60673053
60603090)
-
文摘
提出了一种基于Petri网进程的协议最小测试例集合生成方法,该方法可以得到覆盖协议行位的最小测试例集合,即用尽可能少的测试例覆盖尽可能多的协议行为,每个具体测试例都可以用Petri网进程给出图形化的直观表示。本方法还可以利用Petri网基本进程段的链接、并、闭包运算,将简单的测试例进行组合,从而得到测试协议复杂行为的测试例。结合一个实例,给出LAPD协议的Petri网模型和该协议的最小测试例集合。基于Petri网进程的协议测试例生成方法,使得协议的分析更加准确直观。
-
关键词
协议测试例
LAPD协议
PETRI网
Petri网进程
-
Keywords
Protocol test case
LAPD protocol
Petri net
Petri net process
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
-
-
题名故障检测的Petri网模型与Petri网故障进程
被引量：1
- 8
-
-
作者
张继军
李小青
董卫
-
机构
山东农业大学信息科学与工程学院
兰州大学信息科学与工程学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2014年第9期2029-2033,共5页
-
基金
国家自然科学基金项目(61170079
60903099)资助
-
文摘
Petri网进程是分析网系统运行规律的有力工具,能够准确的模拟系统的动态运行过程,且能反映故障传播的固有特性.分析故障在Petri网进程中的表现特征,提出了故障检测的Petri网模型和故障进程,并给出了故障检测、定位方法.首先,对Petri网进行扩展,提出了带输入输出的Petri网和故障检测的Petri网模型,为了描述该类Petri网的动态行为特征,给出了Petri网故障进程、2-进程以及故障检测进程的定义和构造方法;然后,基于故障检测进程给出了故障检测和故障定位的检测方法;最后采用该方法,给出了时序电路故障检测应用实例.
-
关键词
带输入输出的Petri网
故障检测Petri模型
Petri网2-进程
Petri网故障进程
-
Keywords
Petri net with input and output
Petri net for fault detection
2-Process of Petri net
Petri net fault process
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名一种基于Petri网的全覆盖想定生成算法
被引量：3
- 9
-
-
作者
张媛
王明哲
纪光友
-
机构
华中科技大学控制科学与工程系
-
出处
《兵工自动化》
2013年第7期45-49,共5页
-
基金
基于行为的SoS体系结构评价研究(61273207)
-
文摘
想定是作战仿真系统的重要组成部分,是复杂作战序列仿真运行的初始态势,是获取可信仿真分析结果的前提。在全覆盖想定概念的基础上,提出一种力图遍历所有可能作战事件和事件序列的全覆盖初始标识(想定)的生成算法。应用Petri网的网结构理论,通过对视为被仿真系统可能想定的Petri网初始标识与该标识下的网事件进程行为的输入/输出分析,并以实例进行验证。实例结果表明:该算法操作性强,能很容易获取系统的全覆盖想定。
-
关键词
全覆盖想定
初始标识
PETRI网
进程网
-
Keywords
full coverage scenario
initial marking
Petri nets
process net
-
分类号
TJ02
[兵器科学与技术—兵器发射理论与技术]
-
-
题名基于CPEBSDL通信协议的Petri网建模方法
- 10
-
-
作者
范昊
吴哲辉
-
机构
中国科学院计算技术研究所智能信息处理开放实验室
山东科技大学信息科学与工程学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第6期16-21,共6页
-
基金
国家自然科学基金资助项目(60603090,60173053)
-
文摘
结合CPEBSDL描述语言、Petri网可达图、Petri网进程等协议分析方法,提出一种基于通信协议建立Petri网模型的方法——PMA_CPEBSDL。该方法利用CPEBSDL语言描述了通信协议实体的行为,自动地对协议建立Petri模型。协议的进程分析方法和可达图分析方法使协议的测试更加准确、直观。结合一个实例,给出LAPD协议完整的建模过程及协议验证和测试的方法。
-
关键词
协议验证
协议测试
LAPD协议
PETRI网
Petri网进程
-
Keywords
protocol validation
protocol test
LAPD protocol
Petri nets
Petri nets process
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
