可重复向量

作品数：9被引量：52H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：吴哲辉刘关俊岳昊蒋昌俊曾庆田更多>>
相关机构：山东科技大学漳州师范学院同济大学中国科学院更多>>
相关期刊：《小型微型计算机系统》《甘肃高师学报》《计算机学报》《系统仿真学报》更多>>
相关基金：国家自然科学基金福建省教育厅资助项目博士科研启动基金福建省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
关于进程段的T向量有效性
《甘肃高师学报》2016年第12期60-61,共2页刘萍 
甘肃民族师范学院院长基金(2013-16)
讨论了Petri网的可重复向量和受控可重复向量的有效性.对于有效可重复向量,给出另一个定义,并且证明两种定义是等价的.给出了有效受控可重复向量的必要条件.
关键词：PETRI网 进程段 有效可重复向量 有效受控可重复向量 
Petri网死锁的求解算法被引量：1
《漳州师范学院学报（自然科学版）》2011年第1期17-21,共5页郑凯 
本文对Petri网的基础知识作了相关的介绍,以及对Petri网的结构性质进行一定的介绍与分析,其中主要介绍的结构性质是可重复向量和死锁,并适当的通过举例来说明问题.根据Petri网的相关结构性质,初步得出了T-不变量、可重复向量、死锁的关...
关键词：PETRI网 死锁 T-不变量 可重复向量 真值表 算法 
Petri网系统中的有效本原可重复向量集
《太原师范学院学报（自然科学版）》2010年第4期51-54,共4页岳昊 
福建省教育厅资助科技项目(JK2010037);国家自然科学基金资助项目(60673053);漳州师范学院博士科研启动基金资助项目
基于有效可重复向量,可以判定一个标准Petri网产生的语言是否为正规语言,或者是否为上下文无关语言.文章提出了Petri网系统(N,M0)中的有效本原可重复向量集(记为SEPRV(N,M0))的概念.文中分析了有效可重复向量的性质,并且指出SEPRV(N,M0...
关键词：PETRI网 可重复向量 有效 本原 
Petri网系统的弱公平性判定
《漳州师范学院学报（自然科学版）》2010年第3期27-31,共5页岳昊 
国家自然科学基金资助项目(60673053);福建省教育厅资助科技项目(JK2010037);漳州师范学院博士科研启动基金资助项目
本文首先给出了一个Petri网系统的有效可重复向量的两个性质.随后,又给出了用有效可重复向量判断Petri网系统弱公平性相关问题的一个充分必要条件.在一个Petri网系统中,任意的两个变迁ti,tj,则tj弱公平依赖于ti,当且仅当不存在这样的有...
关键词：PETRI网 弱公平性 可重复向量 
Petri网本原可重复向量的求解算法及实现被引量：6
《小型微型计算机系统》2009年第9期1815-1818,共4页岳昊 吴哲辉 刘关俊 
国家自然科学基金项目(60673053)资助
Petri网本原可重复向量是一个重要结构性质.本文定义了网N的可重复向量表出集pre-SPRV(N),证明一个网的本原可重复向量集是唯一的,并且给出它的一个求解算法.算法首先求出网N变迁扩充网的所有极小T-不变量,由此求得N的一个可重复向量表...
关键词：PETRI网 本原可重复向量集 算法 
基于T-不变量的可重复向量的求解算法被引量：3
《系统仿真学报》2007年第A01期1-3,15,共4页刘关俊 蒋昌俊 吴哲辉 
国家自然科学基金(60534060;60673053)
研究了Petri网中T-不变量与可重复向量之间的关系,并基于此关系给出一个求解可重复向量的新方法。首先定义了变迁扩充网的概念,证明一个网的可重复向量与其变迁扩充网的T-不变量之间存在一一对应关系,从而将一个网可重复向量的求解转换...
关键词：PETRI网 可重复向量 T-不变量 FM-算法 变迁扩充网 
Petri网的进程网系统被引量：31
《计算机学报》2002年第12期1308-1315,共8页曾庆田 吴哲辉 
国家自然科学基金 ( 6 0 1730 5 3;6 98730 2 9)资助
提出了 Petri网的进程网系统的概念 .一个 Petri网的进程网系统是以其基本进程段的集合为新的变迁集 ,以各个基本进程段集的输入和输出库所集的并集为新的库所集 ,以原网系统的初始标识为初始标识而得到的网系统 ,它可以很好地描述原网...
关键词：PETRI网 进程网系统 基本进程段 可重复向量 受迭可重复向量 特征可达树 
Petri网中亚公平关系与亚公平网被引量：6
《山东科技大学学报（自然科学版）》2001年第1期4-9,12,共7页吴哲辉 郭玉彬 
Petri网中的弱公平但不公平的关系称为亚公平公系 ,由此可引伸出亚公平Petri网和亚公平网等概念。本文证明了一个重要性质 :亚公平Petri网中一定存在着公平关系 ,并在此基础上讨论了亚公平网中的公平分支划分。此外 。
关键词：PETRI网 公平性 亚公平关系 亚公平网 公平分支 可重复向量 弱公平网 
求有效极小（受控）可重复向量的一个算法被引量：14
《计算机学报》1994年第8期580-587,共8页蒋昌俊 
国家自然科学基金;中科院自动化所复杂系统控制开放实验室基金
文献［１］基于有效（受控）可重复向量，给出了判定一个标准Ｐｅｔｒｉ网产生的语言分别为正规语言或上下文无关语言的充要条件．然而，求取一个标准Ｐｅｔｒｉ网的有效（受控）可重复向量是判定网语言属型的前提条件．文献［１］没有...
关键词：PETRI网 有效重复向量 算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部