首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 78 毫秒
1.
Pumping引理的Petri网描述—Petri网语言属型的一组判定条件   总被引:22,自引:0,他引:22  
吴哲辉 《计算机学报》1994,17(11):852-858
本文通过Pumping引理在Petri网的变迁节引发序列中的反映,揭示了对应的Petri网结构内涵,从而给出判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件,这样,就可以从网的结构直接判断其语言属型。  相似文献   

2.
蒋昌俊 《计算机学报》1994,17(A00):82-87
本文提出Petri网的叠加运算,并讨论了它在环型系统和星型系统的分析与合成中的应用,得到一组有助于结构性质分析的充要条件和充分条件,本文的结果是文献[1]的进一步发展,在某些方面比文献[1]的结果要好。  相似文献   

3.
S-组合Petri网的活性分析与实现   总被引:19,自引:1,他引:19  
设Σ1=(N1,M1),Σ2=(N2,M2)是两个Petri网,且不含有冻结标志,Ni=(Si,Ti;Fi),i=1,2,T1∩T2=Φ,S1∩S2≠Φ,本文定义了Σ1,Σ2的S-组合Petri网Σs,通过引入Petri网互逆位置序偶的概念,深入研究了Σs的活性,给出了Σs有界活的几个判定条件。若Σ1,Σ2是两个活的Petri网,最后提出了一种实现S-组合Petri网活性的控制装置。  相似文献   

4.
具有硬实时上限的受控赋时Petri网的控制综合   总被引:1,自引:0,他引:1  
李惠峰 《控制与决策》1998,13(3):245-249
在实时离散事件系统(RTDES)中,有界事件和有效期事件是两类特殊的具有硬实时上限的离散事件,它们的模型描述相对较为复杂,对其控制研究也十分困难。通过为这两类事件找到一种可以用无界事件和强迫事件来描述的等价Petri网模型,可以简化RTDES的基本模型,同时很容易将陈浩勋[1]关于最大允许状态反馈逻辑的结论推广到简化受控赋时Petri网中,便可以对更广泛的RTDES进行研究。  相似文献   

5.
Petri网的进程网系统   总被引:19,自引:3,他引:19  
曾庆田  吴哲辉 《计算机学报》2002,25(12):1308-1315
提出了Petri网的进程系统的概念,一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集,以各个基本进程段集的输入和输出库所集的并集为新的库所集,以原网系统的初始标识为初始标识而得到的网系统,它可以很好的地描述原网系统的进程行为,文中讨论了求取任意Petri网的基本进程段的算法,该算法是通过研究网中的极小可重复向量和极小受控可重复向量在可覆盖树上的分布特征实现的,文中还给出了通过网结构来描述各个基本进程段之间关系的方法,从而求出一Petri网的进程网系统。  相似文献   

6.
Systolic结构中,由于蝶网、混洗交换网等超立方体型网络的计算等价性,使得研究它们之间的相互嵌入变得相当重要.衡量嵌入性能好坏的二个重要标志是负载和膨胀度.本文利用文献[1]中嵌子网思想,提出一个新算法,使得维蝶网,以负载至多为8(N≥16),膨胀度至多为3就可嵌入到N结点混洗交换网中,且使得任意T步蝶网算法能在O(T)步内用混洗交换网等价模拟,相对于文献[1],膨胀度减少2.  相似文献   

7.
林闯  陆维明 《软件学报》1994,5(11):23-30
本文为推理维护系统引入一种Petri网模型并对有限非单调理论应用Petri例分析方法.本文提议的模型不但能描述推理维护系统,而且可用网论与网技术分析推理维护.对于一组给定的非单调规则我们给出一个算法可求得其外延,我们还给出一个算法可发现系统的不一致性.我们提出的寻找外延的算法要比现有的重构过程更有效,且它是可判定的.  相似文献   

8.
本文探讨了用Petri网模拟逻辑程序的可能性,给出了用Petri网来求取逻辑程序的答案的方法,为自动推理提供了依据,并给出了几个实例。  相似文献   

9.
在文献[1]提出的求一个图的全部树的方法中,王氏代数被用以筛除相关元素(相关树支)。此文将进一步讨论王氏代数的有关定义和运算规则,给出了部分相关和子相关符号向量等概念。文中提出的4个推论使王氏代数得以在求图的树的算法中得到系统的应用。在分析了m阶全图的关联矩阵的特性后,定理1给出了其具有的树数量的表达式。  相似文献   

10.
Petri网的状态转换图   总被引:2,自引:0,他引:2  
给出Petri网的状态转换图模型,并作为分析工具,分析Petri网重复引发序列在状态转换图中的表现特点,给出标注路径(回路)与引发序列(重复引发序列)的关系及其判定条件,并给出求基本重复引发序列的计算方法;定义了可重复序列之间的依赖性和依赖度,准确地给出了可重复序列之间依赖关系的形式描述;分析了Petri网语言的结构特点,证明了任意一个Petri网语言都是一个正规语言表达式与该网的可重复引发序列α闭包的同步.  相似文献   

11.
基于矢谱和模糊Petri网的旋转机械故障诊断研究   总被引:1,自引:1,他引:0       下载免费PDF全文
讨论了矢谱融合技术和模糊Petri 网的相关理论,提出了基于矢谱和模糊Petri网的旋转机械故障诊断方法,建立了基于矢谱的旋转机械常见故障诊断Petri网模型。模拟实验结果表明:与基于单通道数据的诊断结果对比,矢谱和模糊Petri网应用于旋转机械常见故障进行诊断,可有效提高旋转机械故障诊断的准确率。  相似文献   

12.
串行加工系统Petri网控制器的形式化设计方法   总被引:4,自引:1,他引:4  
提出了串行加工系统控制描述规格说明的设计方法,研究了规格说明的Petri网语 义.提出了系统Petri网控制器具有活性等希望性质的初始标识的确定算法.这样的Petri网 控制器经编译或算法转换可直接对系统进行实时控制.  相似文献   

13.
Petri网以其优秀的描述异步并发的能力以及简单、清晰的图形表示方法获得了长足的发展。Petri网技术和其它技术的完美结合使其在应用领域发挥作用。从哲学高度分析了Petri网获得成功的思想渊源。通过诠释Petri网思想与哲学思想的诸多相通之处,提出了一种以哲学观点认识和理解Petri网的新思想。Petri网理论的晦涩性在很大程度上限制了其更好发展。鉴于此,笔者在简化Petri网理论方面做了许多尝试,以期促进Petri网的流行与发展。  相似文献   

14.
《Knowledge》2006,19(4):220-234
  相似文献   

15.
针对一般线性约束的Petri网控制器设计方法   总被引:6,自引:0,他引:6       下载免费PDF全文
王寿光  颜钢锋 《软件学报》2005,16(3):419-426
针对基于Petri网离散事件系统关于标识向量和Parikh向量的不等式约束反馈控制器设计问题,提出一种新的控制器设计方法.该方法首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不等式约束,然后基于Petri网库所是关于Parikh向量的不等式约束的观点构造控制器.最后将该方法与Iordache和Moody提出的方法作比较,实验结果显示该方法更简单、有效.  相似文献   

16.
Petri网是一种具有动态特性的建模工具,模糊Petri网是Petri网的一个重要分支,可以有效处理具有不精确的、不确定的复杂因素的系统模型问题。本文在模糊动态Petri网的定义和运行规则基础上,研究了具有死锁和陷阱结构的模糊Petri网系统,通过配置不同的初始标识,分析其动态运行特性,并给出算例分析。  相似文献   

17.
基于模糊神经Petri网的故障诊断模型   总被引:1,自引:0,他引:1  
Petri网是对具有产生式规则的故障诊断系统的有力建模工具,但其缺乏较强的学习能力.本文以Petri网的基本定义为基础,结合模糊逻辑和Petri网模型,定义了模糊Petri网模型,在此基础上引入人工神经网络技术,给出了人工神经网络的模糊Petri网表示方法,并针对工程机械故障诊断异步、离散等特点,提出并建立了故障诊断的模糊神经Petri网模型及其改进模型.基于模糊神经Petri网的故障诊断系统结合了Petri网和人工神经网络的优点,经过自学习后同时具有很强的推理能力和自适应能力.  相似文献   

18.
Petri网语言的Pumping引理   总被引:9,自引:0,他引:9  
Petri网语言是Petri网理论的重要组成部分,也是系统行为分析的一种重耍的工具.Petri网语言的Pumping引理反映了Petri网语言的共性,可用来证明某些语言不是Petri网语言,已经证明,当一个Petri网语言可被某个有界Petri网产生时,此语言是正规语言,因此,正规语言的Pumping引理对此语言是有效的,但正规语言的Pumping引理并小适用于所有的Petrl网语言.文中给出了一种Petri网语言的Pumping引理,证明其对任意无空标注的Petri网语言都有效,并且+正规语言的Pumping引理是此引理的一种特殊形式.利用此Pumping引理可以证明某些语言是不能由Petri网产生的。  相似文献   

19.
为了解决复杂间歇式化工系统的优化调度和控制问题,提出了一种基于Petri网的优化调度与控制方法:首先,根据加工工艺,建立加工过程的赋时Petri网模型;其次,根据间歇式化工生产对象的拓扑结构,在该赋时Petri网模型中引入阀门系统的网结构,从而获得系统的受控Petri网模型;最后,利用可达图来计算加工时间最短的控制策略,借助网结构信息,得到了控制策略的阀门控制矩阵,并用一个示例演示验证了本文方法.  相似文献   

20.
无界公平Petri网的进程表达式   总被引:14,自引:4,他引:10  
Petri网的进程表达式是以该网系统的基本子进程集为字母的一个正规表达式.它用有限形式给出了网系统的所有(无限多个)进程的集合.作者于1995年给出了对任意给定的有界Petri网求其进程表达式的一个算法.这个算法对无界Petri网是不适用的,其原因在于子进程同构的概念在无界网系统中没有意义.对此,作者通过定义进程段行为等价的概念,导出了无界Petri网的进程表达式的一般形式,并借助无界公平网的特征  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号