-
题名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
[自动化与计算机技术—计算机应用技术]
-
-
题名对一个Petri网进程表达式的探讨
被引量：1
- 2
-
-
作者
徐关怀
王明新
-
机构
安徽理工大学学生处
卡斯柯信号有限公司
-
出处
《安徽理工大学学报（自然科学版）》
CAS
2014年第3期57-59,共3页
-
文摘
Petri网进程是Petri网分析和验证的有效手段,而Petri网的进程表达式可以给出系统全部进程的描述。针对文献《一种基于同步合成构造Petri网进程表达式的方法》提出的基于同步合成的Petri网表达式构成方法中的一个引理进行深入研究,并通过一个反例,说明这种方法的错误之处。
-
关键词
PETRI网
同步合成
基本进程段
进程表达式
-
Keywords
Petri net
synchronous composition
basic process section
process expression
-
分类号
TN301
[电子电信—物理电子学]
-
-
题名Petri网进程的描述方法研究综述
- 3
-
-
作者
曾庆田
范昊
吴哲辉
-
机构
山东科技大学
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2005年第z1期7-11,共5页
-
基金
国家自然科学基金(60173053 和 60274063) 及山东省自然科学基金(Y2002G09)资助.
-
文摘
综述了我们在Petri网的进程研究方面所取得的成果,完整地给出了Petri网进程描述方法的体系.详细阐述了Petri网的满进程、Petri网的基本进程段、Petri网的进程表达式、Petri网的进程网系统等概念.给出了Petri网基本进程段的划分标准,证明了任意Petri网的基本进程段集是一个有限集.分别研究了有界Petri网、无界公平Petri网和任意无界Petri网的进程表达式,给出了与进程表达式描述能力等价的Petri网的进程网系统的概念,研究了进程系统的语言表达式同原系统的进程表达式之间的一一对应关系.
-
关键词
PETRI网
进程
满进程
基本进程段
进程表达式
进程网系统
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
