期刊文献+
共找到134篇文章
< 1 2 7 >
每页显示 20 50 100
有界Petri网的活性和公平性的分析与实现 被引量:58
1
作者 《计算机学报》 EI CSCD 北大核心 1989年第4期267-278,共12页
Petri网的活性和公平性分别反映了所模拟的分布式系统的无死锁性和无饥饿性。本文对有界Petri网的活性和公平性进行了分析:1)指出了有界Petri网的活性和公平性在其可达标识图中的表现;2)证明了对于一个结构有界的可重复网(并带有可重复... Petri网的活性和公平性分别反映了所模拟的分布式系统的无死锁性和无饥饿性。本文对有界Petri网的活性和公平性进行了分析:1)指出了有界Petri网的活性和公平性在其可达标识图中的表现;2)证明了对于一个结构有界的可重复网(并带有可重复的初始标识),如果在任意可达标识下,任意两个变迁节都不处于有效的冲突,则这个网一定是活的和公平的。 对于不活或不公平的带可重复标识的结构有界的可重复网,本文提出了几种实现活性和公平性的控制装置。 展开更多
关键词 PETRI网 活性 公平性 分布式系统
下载PDF
Pumping引理的Petri网描述──Petri网语言属型的一组判定条件 被引量:33
2
作者 《计算机学报》 EI CSCD 北大核心 1994年第11期852-858,共7页
本文通过Pumping引理在Petri网的变迁节引发序列中的反映,揭示了对应的Petri网结构内涵,从而给出了判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件.这样,就可以从网的结构直接判断... 本文通过Pumping引理在Petri网的变迁节引发序列中的反映,揭示了对应的Petri网结构内涵,从而给出了判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件.这样,就可以从网的结构直接判断其语言属型. 展开更多
关键词 形式语言 Pumping引理 PETRI网 PETRI网语言
下载PDF
Petri网的进程网系统 被引量:31
3
作者 曾庆田 《计算机学报》 EI CSCD 北大核心 2002年第12期1308-1315,共8页
提出了 Petri网的进程网系统的概念 .一个 Petri网的进程网系统是以其基本进程段的集合为新的变迁集 ,以各个基本进程段集的输入和输出库所集的并集为新的库所集 ,以原网系统的初始标识为初始标识而得到的网系统 ,它可以很好地描述原网... 提出了 Petri网的进程网系统的概念 .一个 Petri网的进程网系统是以其基本进程段的集合为新的变迁集 ,以各个基本进程段集的输入和输出库所集的并集为新的库所集 ,以原网系统的初始标识为初始标识而得到的网系统 ,它可以很好地描述原网系统的进程行为 .文中讨论了求取任意 Petri网的基本进程段的算法 ,该算法是通过研究网中的极小可重复向量和极小受控可重复向量在可覆盖树上的分布特征实现的 ,文中还给出了通过网结构来描述各个基本进程段之间关系的方法 ,从而求出一个 Petri网的进程网系统 . 展开更多
关键词 PETRI网 进程网系统 基本进程段 可重复向量 受迭可重复向量 特征可达树
下载PDF
公平网的一组直接判断条件 被引量:21
4
作者 王培良 《计算机学报》 EI CSCD 北大核心 1993年第1期53-58,共6页
本文给出直接判断一个Petri网是否是公平网的一组充分必要条件.本文给出的判断方法有以下的优点:这里提出的方法不需要先求出给定网的结构有界子网,而是直接根据原网给出判断条件,从而简化了判断一个网是否为公平网的过程.这种方法还避... 本文给出直接判断一个Petri网是否是公平网的一组充分必要条件.本文给出的判断方法有以下的优点:这里提出的方法不需要先求出给定网的结构有界子网,而是直接根据原网给出判断条件,从而简化了判断一个网是否为公平网的过程.这种方法还避免了原网删去结构无界的位置后,可能使某些变迁节变为孤立节点的情况. 展开更多
关键词 PETRI网 公平网 线性相关
下载PDF
无界Petri网的进程表达式 被引量:26
5
作者 曾庆田 《计算机学报》 EI CSCD 北大核心 2003年第12期1629-1636,共8页
借助进程网系统的概念 ,首先证明了无界Petri网Σ的进程与其进程网系统ΣP的语言之间存在一一映射关系 ,将求取Σ的进程表达式的问题转化成求取ΣP的语言问题 .由于ΣP的结构一般比较复杂 ,直接求取其语言仍然比较困难 .通过定义库所的... 借助进程网系统的概念 ,首先证明了无界Petri网Σ的进程与其进程网系统ΣP的语言之间存在一一映射关系 ,将求取Σ的进程表达式的问题转化成求取ΣP的语言问题 .由于ΣP的结构一般比较复杂 ,直接求取其语言仍然比较困难 .通过定义库所的指标函数 ,将结构复杂的ΣP分解成结构简单的子网系统 ,引入了语言的同步交运算 ,给出了利用这些子网系统求取结构复杂的ΣP语言的方法 ,从而得到了求取无界Petri网Σ的进程表达式的算法 . 展开更多
关键词 无界Petri网 进程表达式 进程行为 模型化
下载PDF
无界公平Petri网的进程表达式 被引量:20
6
作者 王培良 赵茂先 《计算机学报》 EI CSCD 北大核心 2000年第4期337-344,共8页
Petri网的进程表达式是以该网系统的基本子进程集为字母表的一个正规表达式.它用有限形式给出了网系统的所有(无限多个)进程的集合.作者于1995年给出了对任意给定的有界Petri网求其进程表达式的一个算法.这个算法对... Petri网的进程表达式是以该网系统的基本子进程集为字母表的一个正规表达式.它用有限形式给出了网系统的所有(无限多个)进程的集合.作者于1995年给出了对任意给定的有界Petri网求其进程表达式的一个算法.这个算法对无界Petri网是不适用的,其原因在于子进程同构的概念在无界网系统中没有意义.对此,作者通过定义进程段行为等价的概念,导出了无界Petri网的进程表达式的一般形式,并借助无界公平网的特征可达树得出求给定无界公平网进程表达式的一个算法。 展开更多
关键词 PETRI网 进程表达式 无界 公平性 算法
下载PDF
公平网的一个充分必要条件 被引量:17
7
作者 王培良 《科学通报》 EI CAS CSCD 北大核心 1990年第16期1211-1213,共3页
文献[1—5]就有界(或结构有界)情形给出了公平网的充要条件及其他结论。本文对一般网(即去掉有界性限制的网)给出判断其是否为公平网的一个充分必要条件。首先,对一个网给出单个位置的结构有界性的定义,并证明了从一个网中删去那些不是... 文献[1—5]就有界(或结构有界)情形给出了公平网的充要条件及其他结论。本文对一般网(即去掉有界性限制的网)给出判断其是否为公平网的一个充分必要条件。首先,对一个网给出单个位置的结构有界性的定义,并证明了从一个网中删去那些不是结构有界的位置(连同它们所关联的弧)后所得到的子网是结构有界网;其次,证明了这个子网同原网有相同的公平性,从而,通过对此子网的公平性检验,可以判断原网的公平性。此结论可推广到分组公平网。 展开更多
关键词 PETRI网 公平性 分组公平网
原文传递
Petri网弱公平性的判断 被引量:14
8
作者 王培良 《计算机学报》 EI CSCD 北大核心 1994年第8期608-611,共4页
本文提出了弱公平网的概念,并给出了判断一个Petri网是否是弱公平同的一组充分必要条件。
关键词 PETRI网 弱公平网 矩阵
下载PDF
矩阵乘法的一个最佳算法 被引量:16
9
作者 蒋昌俊 《科学通报》 EI CAS CSCD 北大核心 1989年第4期251-254,共4页
一、引言 矩阵乘法是线性代数中常见的问题之一,许多数值计算问题都包含着矩阵乘法的计算。因此,降低矩阵乘法算法的时间复杂度问题,多年来一直引起算法研究者们的高度重视。 1969年,Strassen提出了一个时间复杂度为O(n^(log_2^7))的矩... 一、引言 矩阵乘法是线性代数中常见的问题之一,许多数值计算问题都包含着矩阵乘法的计算。因此,降低矩阵乘法算法的时间复杂度问题,多年来一直引起算法研究者们的高度重视。 1969年,Strassen提出了一个时间复杂度为O(n^(log_2^7))的矩阵乘法算法,第一次突破了O(n^3)的界限,被誉为“在代数复杂性理论中最激动人心的结果”。以后。 展开更多
关键词 矩阵乘法 算法 运算次数
原文传递
类S-图的语言性质分析 被引量:16
10
作者 曾庆田 《计算机科学》 CSCD 北大核心 2002年第5期120-122,共3页
1 引言 Petli网作为系统模拟和分析的工具已得到广泛的应用.Petri网一个变迁序列可理解为一个字符串,字符串集合为一种语言.所有可能发生的变迁序列的集合表征了一个Petri网的运行特征,可用网中可能出现的变迁序列来分析Petri网的性能.H... 1 引言 Petli网作为系统模拟和分析的工具已得到广泛的应用.Petri网一个变迁序列可理解为一个字符串,字符串集合为一种语言.所有可能发生的变迁序列的集合表征了一个Petri网的运行特征,可用网中可能出现的变迁序列来分析Petri网的性能.Hack[1]和Peterson[2]最早从事这方面的研究. 展开更多
关键词 类S-图 语言性质分析 图灵机 PETRI网
下载PDF
Petri网语言的同步交运算 被引量:15
11
作者 曾庆田 《小型微型计算机系统》 CSCD 北大核心 2004年第2期216-219,共4页
Petri网语言是用于系统行为分析的有力工具 ,利用传统的语言运算并不能很好地刻画 Petri网的语言行为 .为此 ,本文给出一种新的 Petri网语言运算操作—同步交运算 ,并就网系统的分解和合成过程中的行为关系 ,分析了Petri网语言的同步交... Petri网语言是用于系统行为分析的有力工具 ,利用传统的语言运算并不能很好地刻画 Petri网的语言行为 .为此 ,本文给出一种新的 Petri网语言运算操作—同步交运算 ,并就网系统的分解和合成过程中的行为关系 ,分析了Petri网语言的同步交运算的作用和意义 . 展开更多
关键词 PETRI网 同步交 语言 分解 合成
下载PDF
有界Petri网的进程表达式 被引量:14
12
作者 《中国科学(A辑)》 CSCD 1995年第12期1334-1340,共7页
提出了有界Petri网的进程表达式的概念,并给出了求有界Petri网进程表达式的一个算法。一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式。它所表示的正规集是该Petri网全体满进程的集合。所谓满进程,是指每个s... 提出了有界Petri网的进程表达式的概念,并给出了求有界Petri网进程表达式的一个算法。一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式。它所表示的正规集是该Petri网全体满进程的集合。所谓满进程,是指每个s切对应着Petri网的一个可达标识的那类进程。 展开更多
关键词 PETRI网 进程 正规表达式 算法
全文增补中
基于分解的结构复杂Petri网的语言行为描述 被引量:14
13
作者 曾庆田 《系统工程学报》 CSCD 2004年第3期300-306,共7页
Petri网语言是用于系统行为分析的强有力手段,然而给定一个Petri网尤其是结构复杂的网系统,很难直接求解其语言表达式.针对这个问题,通过定义Petri网的库所指标函数,把一个结构复杂的网系统分解成结构简单的子网,即子网中每个变迁的输... Petri网语言是用于系统行为分析的强有力手段,然而给定一个Petri网尤其是结构复杂的网系统,很难直接求解其语言表达式.针对这个问题,通过定义Petri网的库所指标函数,把一个结构复杂的网系统分解成结构简单的子网,即子网中每个变迁的输入库所和输出库所的数目均小于等于1,并分析了这些子网系统的语言特性.利用Petri网语言同步交运算,给出了一种求取结构复杂Petri网的语言表达式的方法,从而为利用网语言分析系统的行为提供了理论依据和方法. 展开更多
关键词 PETRI网 库所指标 分解 同步交 PETRI网语言
下载PDF
下推自动机的状态转换图与下推自动机的化简 被引量:10
14
作者 张继军 《计算机科学》 CSCD 北大核心 2006年第3期271-274,共4页
参照有限状态自动机图形表示方式的思想方法,研究了标准下推自动机的图形表示——PAD 状态转换图,证明了下推自动机与标准下推自动机的等价性。给出了对标准下推自动机进行化简的原则,并给出了化简算法,实现了下推自动机的化简。
关键词 状态转换图 标准下推自动机 化简 行为等价 状态等价
下载PDF
Petri网的分层递归模型 被引量:11
15
作者 张继军 《系统仿真学报》 CAS CSCD 2003年第z1期89-92,98,共5页
Petri网的分层模型是应用Petri网对复杂系统建模时的一种常用手段。在传统的Petri网分层模型中,是不考虑递归的。这样的分层模型虽然为系统的建模和分析带来方便,但并增强模拟能力。在分层模型中引入递归的概念,可以使系统的模拟能力增... Petri网的分层模型是应用Petri网对复杂系统建模时的一种常用手段。在传统的Petri网分层模型中,是不考虑递归的。这样的分层模型虽然为系统的建模和分析带来方便,但并增强模拟能力。在分层模型中引入递归的概念,可以使系统的模拟能力增强。可以证明,任意一个上下文无关语言都可以被一个分层递归Petri网识别。 展开更多
关键词 PETRI网 分层模型 递归 模拟能力 上下文无关语言
下载PDF
Petri网的标注可达树 被引量:4
16
作者 蒋昌俊 《软件学报》 EI CSCD 北大核心 1993年第6期22-28,共7页
本文基于Petri网的可达树的概念,给出标注可达树定义,并且证明网N与其标注可达树是一一对应的,然后,我们给出了网N与相应的标注可达树的相互转换算法。
关键词 标注可达树 可达树 PETRI网
下载PDF
简单多边形集凸包的快速算法 被引量:10
17
作者 毛定山 崔先国 +1 位作者 李行 《工程图学学报》 CSCD 北大核心 2007年第6期96-101,共6页
提出了一个简单多边形集凸包的快速算法。先求出每个简单多边形的(子)凸包,根据凸包的切线性质,从有关的子凸包中抽取一段严格单调的折线。应用归并排序方法把位于一条直线右侧的一组严格单调的折线合并成一条折线,把合并后的折线和子... 提出了一个简单多边形集凸包的快速算法。先求出每个简单多边形的(子)凸包,根据凸包的切线性质,从有关的子凸包中抽取一段严格单调的折线。应用归并排序方法把位于一条直线右侧的一组严格单调的折线合并成一条折线,把合并后的折线和子凸包集的外接矩形上的边连结成一条封闭折线,即一个简单多边形,使其能够把所有子凸包包围起来,最后求出这个简单多边形的凸包。算法的时间复杂度为线性O(n),并且给出一个例子进行了验证。 展开更多
关键词 计算机应用 多边形集凸包 单调折线 归并排序
下载PDF
Petri网的进程表达式与语言表达式 被引量:7
18
作者 曾庆田 马炳先 《小型微型计算机系统》 CSCD 北大核心 2004年第4期654-658,共5页
Petri网的语言和进程都是网系统行为的一种有效的描述手段 .对应的进程表达式和语言表达式给出了系统全体行为的约束描述 .本文首先对 Petri网的进程表达式进行了类型的划分并给出了相应的代数判定依据 ,随后证明了 Petri网的进程表达... Petri网的语言和进程都是网系统行为的一种有效的描述手段 .对应的进程表达式和语言表达式给出了系统全体行为的约束描述 .本文首先对 Petri网的进程表达式进行了类型的划分并给出了相应的代数判定依据 ,随后证明了 Petri网的进程表达式与语言表达式的类型一致性 ,由此给出了由进程表达式求取语言表达式的算法 ,为基于 Petri网语言 (尤其是无界 Petri网 ) 展开更多
关键词 PETRI网 语言 进程表达式 进程网系统 属型 算法
下载PDF
基于库所指标的Petri网分解方法 被引量:9
19
作者 曾庆田 《计算机科学》 CSCD 北大核心 2002年第4期15-17,23,共4页
一、引言 Petri网是系统模拟和分析的有效工具.对于一个规模较大的网系统,由于变迁和库所数目的增多,其分析显得比较麻烦.针对这个同题,国内外的许多学者作了大量的工作,他们提出了网化简、网运算,定义了化简子网、逐次化简以及针对特... 一、引言 Petri网是系统模拟和分析的有效工具.对于一个规模较大的网系统,由于变迁和库所数目的增多,其分析显得比较麻烦.针对这个同题,国内外的许多学者作了大量的工作,他们提出了网化简、网运算,定义了化简子网、逐次化简以及针对特殊子网、特殊结构的化简方法[1~5].文[6]和文[7]分别给出了网系统的"和分解"和"并分解"方法,并讨论了通过这两种分解方法得到的子网同原网在结构性质方面的对应关系. 展开更多
关键词 PETRI网 库所指标 系统模拟 分解
下载PDF
非肯定型工程问题的Petri网方法 被引量:8
20
作者 王培良 王美琴 《系统科学与数学》 CSCD 北大核心 1989年第4期289-297,共9页
一项工程一般都包含着多道工序.如果知道了各工序的工期以及工序之间的衔接关系,就可以画出工程的流程图.从工序流程图可以求出完成这项工程的最短时间和每个工序的最晚必须开工时间,并确定主工序线.这样便于统筹安排,提高施工效率.这... 一项工程一般都包含着多道工序.如果知道了各工序的工期以及工序之间的衔接关系,就可以画出工程的流程图.从工序流程图可以求出完成这项工程的最短时间和每个工序的最晚必须开工时间,并确定主工序线.这样便于统筹安排,提高施工效率.这就是统筹方法.我们提出解决这类工程问题的另一种方法:Petri 网方法.在[2]中我们定义了一类含时间因素的 Petri 网,并用这种网及其可达标识图对肯定型工程问题进行了分析和讨论.本文作为[2]的续篇,我们用 Petri 网方法讨论和分析非肯定型工程问题. 展开更多
关键词 非肯定型工程 Perti网法
原文传递
上一页 1 2 7 下一页 到第
使用帮助 返回顶部