-
题名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网中亚公平关系与亚公平网
被引量：6
- 2
-
-
作者
吴哲辉
郭玉彬
-
机构
山东科技大学信息科学与工程学院
-
出处
《山东科技大学学报（自然科学版）》
CAS
2001年第1期4-9,12,共7页
-
文摘
Petri网中的弱公平但不公平的关系称为亚公平公系 ,由此可引伸出亚公平Petri网和亚公平网等概念。本文证明了一个重要性质 :亚公平Petri网中一定存在着公平关系 ,并在此基础上讨论了亚公平网中的公平分支划分。此外 。
-
关键词
PETRI网
公平性
亚公平关系
亚公平网
公平分支
可重复向量
弱公平网
-
Keywords
Petri net
fairness
meta fair relation
meta fair net
-
分类号
TP393.01
[自动化与计算机技术—计算机应用技术]
-
-
题名基于T-不变量的可重复向量的求解算法
被引量：3
- 3
-
-
作者
刘关俊
蒋昌俊
吴哲辉
-
机构
山东科技大学计算机系
同济大学计算机系
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期1-3,15,共4页
-
基金
国家自然科学基金(60534060
60673053)
-
文摘
研究了Petri网中T-不变量与可重复向量之间的关系,并基于此关系给出一个求解可重复向量的新方法。首先定义了变迁扩充网的概念,证明一个网的可重复向量与其变迁扩充网的T-不变量之间存在一一对应关系,从而将一个网可重复向量的求解转换为其变迁扩充网T-不变量的求解上。在此方法中,如果利用FM-算法去求解T-不变量,则某些求解的步骤可以省略,从而得到一个类似于FM-算法的算法来求解可重复向量。此算法能够求出一组可重复向量,而任一可重复向量都可被这组可重复向量非负有理系数线性表出。
-
关键词
PETRI网
可重复向量
T-不变量
FM-算法
变迁扩充网
-
Keywords
petri net
repetitive vector
T-invariant
FM-algorithm
transition-added net
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名Petri网死锁的求解算法
被引量：1
- 4
-
-
作者
郑凯
-
机构
漳州市医院
-
出处
《漳州师范学院学报（自然科学版）》
2011年第1期17-21,共5页
-
文摘
本文对Petri网的基础知识作了相关的介绍,以及对Petri网的结构性质进行一定的介绍与分析,其中主要介绍的结构性质是可重复向量和死锁,并适当的通过举例来说明问题.根据Petri网的相关结构性质,初步得出了T-不变量、可重复向量、死锁的关系,给出了T-不变量和可重复向量的求解算法,以及对Petri网进行结构变化的基础上,给出相应算法去求解一个网的死锁.最后还给出了利用真值表求解死锁的方法.
-
关键词
PETRI网
死锁
T-不变量
可重复向量
真值表
算法
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名Petri网系统中的有效本原可重复向量集
- 5
-
-
作者
岳昊
-
机构
漳州师范学院计算机科学与工程系
-
出处
《太原师范学院学报（自然科学版）》
2010年第4期51-54,共4页
-
基金
福建省教育厅资助科技项目(JK2010037)
国家自然科学基金资助项目(60673053)
漳州师范学院博士科研启动基金资助项目
-
文摘
基于有效可重复向量,可以判定一个标准Petri网产生的语言是否为正规语言,或者是否为上下文无关语言.文章提出了Petri网系统(N,M0)中的有效本原可重复向量集(记为SEPRV(N,M0))的概念.文中分析了有效可重复向量的性质,并且指出SEPRV(N,M0)可以代表所有的有效可重复向量.
-
关键词
PETRI网
可重复向量
有效
本原
-
Keywords
Petri net
repetitive vector
effective
primitive
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名Petri网系统的弱公平性判定
- 6
-
-
作者
岳昊
-
机构
漳州师范学院计算机科学与工程系
-
出处
《漳州师范学院学报（自然科学版）》
2010年第3期27-31,共5页
-
基金
国家自然科学基金资助项目(60673053)
福建省教育厅资助科技项目(JK2010037)
漳州师范学院博士科研启动基金资助项目
-
文摘
本文首先给出了一个Petri网系统的有效可重复向量的两个性质.随后,又给出了用有效可重复向量判断Petri网系统弱公平性相关问题的一个充分必要条件.在一个Petri网系统中,任意的两个变迁ti,tj,则tj弱公平依赖于ti,当且仅当不存在这样的有效可重复向量X,使得X(j)>0且X(i)=0.最后,用一个实例展示结论的应用过程.
-
关键词
PETRI网
弱公平性
可重复向量
-
Keywords
Petri net
weak fairness
repetitive vector
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名Petri网本原可重复向量的求解算法及实现
被引量：6
- 7
-
-
作者
岳昊
吴哲辉
刘关俊
-
机构
山东科技大学信息科学与工程学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2009年第9期1815-1818,共4页
-
基金
国家自然科学基金项目(60673053)资助
-
文摘
Petri网本原可重复向量是一个重要结构性质.本文定义了网N的可重复向量表出集pre-SPRV(N),证明一个网的本原可重复向量集是唯一的,并且给出它的一个求解算法.算法首先求出网N变迁扩充网的所有极小T-不变量,由此求得N的一个可重复向量表出集,然后依次考察其中的每一个向量,将其中的多余向量去掉,得出网N的本原可重复向量集.最后算法被实现并用于实例以展示算法性能,相关算法的程序实现可以作为已有Petri网分析工具的一个组件.
-
关键词
PETRI网
本原可重复向量集
算法
-
Keywords
Petri nets
the set of primitive repetitive vector of a net （SPRV（N））
algorithm
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名关于进程段的T向量有效性
- 8
-
-
作者
刘萍
-
机构
甘肃民族师范学院计算机科学系
-
出处
《甘肃高师学报》
2016年第12期60-61,共2页
-
基金
甘肃民族师范学院院长基金(2013-16)
-
文摘
讨论了Petri网的可重复向量和受控可重复向量的有效性.对于有效可重复向量,给出另一个定义,并且证明两种定义是等价的.给出了有效受控可重复向量的必要条件.
-
关键词
PETRI网
进程段
有效可重复向量
有效受控可重复向量
-
Keywords
Petri net
process section
effective repeatable vector
controlled repeatable vector
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名Petri网系统的公平性判定
- 9
-
-
作者
岳昊
-
机构
漳州师范学院计算机科学与工程系
-
出处
《长春师范学院学报（自然科学版）》
2010年第5期15-18,共4页
-
基金
福建省教育厅资助科技项目(JK2010037)
国家自然科学基金资助项目(60673053)
漳州师范学院博士科研启动基金资助项目
-
文摘
一个Petri网系统的有效可重复向量的集合为CSX0∪CSX+,有效受控可重复向量的集合为CSX-∪CSX+-。本文给出了用有效(受控)可重复向量判定Petri网系统公平性相关问题的一个充分必要条件。任意的两个变迁ti,tj,则tj公平依赖于ti,当且仅当在CSX0∪CSX+∪CSX-∪CSX+-中不存在这样的向量X,使得X(j)>0且X(i)=0。最后,用一个实例展示结论的应用过程。
-
关键词
PETRI网
公平性
有效可重复向量
有效受控
-
Keywords
Petri net
fairness
effective repetitive vector
effective controlle
-
分类号
O231
[理学—运筹学与控制论]
-
-
题名Petri网系统中变迁的分级活性判定
- 10
-
-
作者
岳昊
-
机构
漳州师范学院计算机科学与工程系
-
出处
《长江大学学报（自科版）（上旬）》
CAS
2010年第4期8-10,共3页
-
基金
国家自然科学基金项目(60673053)
福建省教育厅资助科技项目(JK2010037)
-
文摘
活性(liveness)是Petri网的基本性质之一。从Petri网系统的有效(受控)可重复向量出发,给出一般Petri网系统中变迁为2级活或是3级活的判定依据。对于一个变迁t而言,t是二级活的,当且仅当存在一个有效(受控)可重复向量X,X有一个分量大于零;t是三级活的,当且仅当存在一个有效可重复向量X,X有一个分量大于零。最后,用实例说明判断方法的可使用性。
-
关键词
PETRI网
活性
有效可重复向量
有效受控
-
Keywords
Petri net
liveness
effective repetitive vector
effective controlled
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
