期刊文献+
共找到158篇文章
< 1 2 8 >
每页显示 20 50 100
共享合成Petri网系统的语言递归性与系统活性 被引量:10
1
作者 蒲飞 陆维明 宋文 《软件学报》 EI CSCD 北大核心 2004年第3期317-326,共10页
在Petri网系统合成操作的研究中,大系统的一些好性质,如活性、无死锁性的判定,是一个重要的研究内容.研究了Petri网系统的一种重要的合成操作棗共享合成,着重研究了Petri网系统共享合成的行为关系(语言关系),指出并证明了Petri网系统共... 在Petri网系统合成操作的研究中,大系统的一些好性质,如活性、无死锁性的判定,是一个重要的研究内容.研究了Petri网系统的一种重要的合成操作棗共享合成,着重研究了Petri网系统共享合成的行为关系(语言关系),指出并证明了Petri网系统共享合成过程中语言的递归性质,得到一个并发语言形式的共享合成语言关系式.这个语言关系式为应用Petri网系统对具有并发行为特征的系统进行建模分析提供了一种有效的形式化工具.进而利用这个语言关系式来判定共享合成网系统的活性与无死锁性,得到共享合成网系统活及无死锁的充要条件.最后给出了一些条件,在这些条件下,可用小系统的语言子集来判定共享合成网系统的活性,从而达到用小系统来研究大系统活性的目的. 展开更多
关键词 共享合成 语言递归性 并发语言 路径并发合成 petri系统 系统活性
在线阅读 下载PDF
Petri网语言的同步交运算 被引量:15
2
作者 曾庆田 吴哲辉 《小型微型计算机系统》 CSCD 北大核心 2004年第2期216-219,共4页
Petri网语言是用于系统行为分析的有力工具 ,利用传统的语言运算并不能很好地刻画 Petri网的语言行为 .为此 ,本文给出一种新的 Petri网语言运算操作—同步交运算 ,并就网系统的分解和合成过程中的行为关系 ,分析了Petri网语言的同步交... Petri网语言是用于系统行为分析的有力工具 ,利用传统的语言运算并不能很好地刻画 Petri网的语言行为 .为此 ,本文给出一种新的 Petri网语言运算操作—同步交运算 ,并就网系统的分解和合成过程中的行为关系 ,分析了Petri网语言的同步交运算的作用和意义 . 展开更多
关键词 petri 同步交 语言 分解 合成
在线阅读 下载PDF
Petri网的进程表达式与语言表达式 被引量:7
3
作者 曾庆田 吴哲辉 马炳先 《小型微型计算机系统》 CSCD 北大核心 2004年第4期654-658,共5页
Petri网的语言和进程都是网系统行为的一种有效的描述手段 .对应的进程表达式和语言表达式给出了系统全体行为的约束描述 .本文首先对 Petri网的进程表达式进行了类型的划分并给出了相应的代数判定依据 ,随后证明了 Petri网的进程表达... Petri网的语言和进程都是网系统行为的一种有效的描述手段 .对应的进程表达式和语言表达式给出了系统全体行为的约束描述 .本文首先对 Petri网的进程表达式进行了类型的划分并给出了相应的代数判定依据 ,随后证明了 Petri网的进程表达式与语言表达式的类型一致性 ,由此给出了由进程表达式求取语言表达式的算法 ,为基于 Petri网语言 (尤其是无界 Petri网 ) 展开更多
关键词 petri 语言 进程表达式 进程系统 属型 算法
在线阅读 下载PDF
Petri网语言的Pumping引理 被引量:13
4
作者 蒋昌俊 刘关俊 《计算机学报》 EI CSCD 北大核心 2006年第2期274-278,共5页
Petri网语言是Petri网理论的重要组成部分,也是系统行为分析的一种重要的工具.Petri网语言的Pumping引理反映了Petri网语言的共性,可用来证明某些语言不是Petri网语言.已经证明,当一个Petri网语言可被某个有界Petri网产生时,此语言是正... Petri网语言是Petri网理论的重要组成部分,也是系统行为分析的一种重要的工具.Petri网语言的Pumping引理反映了Petri网语言的共性,可用来证明某些语言不是Petri网语言.已经证明,当一个Petri网语言可被某个有界Petri网产生时,此语言是正规语言,因此,正规语言的Pumping引理对此语言是有效的,但正规语言的Pumping引理并不适用于所有的Petri网语言.文中给出了一种Petri网语言的Pumping引理,证明其对任意无空标注的Petri网语言都有效,并且正规语言的Pumping引理是此引理的一种特殊形式.利用此Pumping引理可以证明某些语言是不能由Petri网产生的. 展开更多
关键词 petri 语言 正规语言 Pumping引理
在线阅读 下载PDF
基于分解的结构复杂Petri网的语言行为描述 被引量:14
5
作者 曾庆田 吴哲辉 《系统工程学报》 CSCD 2004年第3期300-306,共7页
Petri网语言是用于系统行为分析的强有力手段,然而给定一个Petri网尤其是结构复杂的网系统,很难直接求解其语言表达式.针对这个问题,通过定义Petri网的库所指标函数,把一个结构复杂的网系统分解成结构简单的子网,即子网中每个变迁的输... Petri网语言是用于系统行为分析的强有力手段,然而给定一个Petri网尤其是结构复杂的网系统,很难直接求解其语言表达式.针对这个问题,通过定义Petri网的库所指标函数,把一个结构复杂的网系统分解成结构简单的子网,即子网中每个变迁的输入库所和输出库所的数目均小于等于1,并分析了这些子网系统的语言特性.利用Petri网语言同步交运算,给出了一种求取结构复杂Petri网的语言表达式的方法,从而为利用网语言分析系统的行为提供了理论依据和方法. 展开更多
关键词 petri 库所指标 分解 同步交 petri语言
在线阅读 下载PDF
基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法 被引量:4
6
作者 鲍爱华 袁金平 +1 位作者 姚莉 张维明 《计算机集成制造系统》 EI CSCD 北大核心 2008年第9期1856-1864,共9页
针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网... 针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网的变迁和触发规则,使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网。将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题,并采用传统Petri网分析工具(可覆盖性树)和原理,分析剥离网的可靠性,从而实现Web服务本体描述语言过程语义一致性分析,为Web服务本体描述语言本体演化、语义Web服务组合和验证提供了合理的理论基础。 展开更多
关键词 WEB服务 语义WEB 过程语义 Web服务本体描述语言 本体演化 过程模型 着色petri
在线阅读 下载PDF
基于Petri网语言的并发系统性质研究(英文) 被引量:7
7
作者 蒋昌俊 陆维明 《软件学报》 EI CSCD 北大核心 2001年第4期512-520,共9页
给出 Petri网弱活性 (无死锁 )与活性的两个语言刻画 ,讨论了同步合成 Petri网的语言性质 .基于 Petri网语言 ,给出了判定 Petri网活性的充分必要条件 .同时研究了 Petri网同步合成过程中活性保持问题 ,给出保持活性的充分必要条件 .
关键词 petri 并发系统 活性 同步合成 形式语言
在线阅读 下载PDF
广义有界上下文无关语言与Petri网语言 被引量:6
8
作者 张继军 吴哲辉 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期26-29,共4页
提出了广义有界上下文无关语言的概念,该类语言是上下文无关语言的真子集;证明了广义有界上下文无关语言与上下文无关Petri网语言的等价性;进一步给出了上下文无关Petri网语言的一种形式描述--上下文无关Petri网语言表达式,对上下文无关... 提出了广义有界上下文无关语言的概念,该类语言是上下文无关语言的真子集;证明了广义有界上下文无关语言与上下文无关Petri网语言的等价性;进一步给出了上下文无关Petri网语言的一种形式描述--上下文无关Petri网语言表达式,对上下文无关Petri网语言给出了较完整的结构特征. 展开更多
关键词 上下文无关语言 广义有界上下文无关语言 petri petri语言表达式
在线阅读 下载PDF
基于Petri网语言的系统设计与分析 被引量:3
9
作者 蒋昌俊 郑应平 疏松桂 《通信学报》 EI CSCD 北大核心 1997年第1期27-33,共7页
本文从Petri网语言着手,研究系统设计方法,提出相应的理论,建立有关策略,形成一套从用户需求到原型Petri网模型以及对模型的性质分析和控制的方法。通过对系统的逻辑行为及性能指标的分析比较。
关键词 并发系统 petri语言 模型 建模 数字
在线阅读 下载PDF
Pumping引理的Petri网描述──Petri网语言属型的一组判定条件 被引量:33
10
作者 吴哲辉 《计算机学报》 EI CSCD 北大核心 1994年第11期852-858,共7页
本文通过Pumping引理在Petri网的变迁节引发序列中的反映,揭示了对应的Petri网结构内涵,从而给出了判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件.这样,就可以从网的结构直接判断... 本文通过Pumping引理在Petri网的变迁节引发序列中的反映,揭示了对应的Petri网结构内涵,从而给出了判定一个标准Petri网产生的语言分别为正规语言或上下文无关语言的充要条件.这样,就可以从网的结构直接判断其语言属型. 展开更多
关键词 形式语言 Pumping引理 petri petri语言
在线阅读 下载PDF
基于面向对象Petri网的软件体系结构描述语言 被引量:10
11
作者 于振华 蔡远利 《西安交通大学学报》 EI CAS CSCD 北大核心 2004年第12期1236-1239,1275,共5页
以面向对象Petri网为形式化理论基础 ,提出了一种基于面向对象Petri网的体系结构描述语言 (OP NADL) .与传统的体系结构描述语言相比 ,OPNADL能描述系统的静态和动态语义 ,可利用Petri网的数学分析方法对系统进行动态分析 ,能形象、直... 以面向对象Petri网为形式化理论基础 ,提出了一种基于面向对象Petri网的体系结构描述语言 (OP NADL) .与传统的体系结构描述语言相比 ,OPNADL能描述系统的静态和动态语义 ,可利用Petri网的数学分析方法对系统进行动态分析 ,能形象、直观地刻画系统的整体和个体特性 ,同时可以利用相应的Petri网支持工具对软件体系结构进行模拟、分析和验证 .通过OPNADL在公安地理信息系统和柔性制造教学系统开发中的实践证明 ,OPNADL可以有效地辅助软件设计人员在体系结构层次上对系统进行分析和设计 ,从而提高了系统的开发效率 。 展开更多
关键词 软件体系结构 体系结构描述语言 面向对象petri
在线阅读 下载PDF
Petri网语言表达式及其求解算法 被引量:2
12
作者 张继军 范昊 耿霞 《计算机科学》 CSCD 北大核心 2009年第11期136-139,216,共5页
Petri网语言是描述网系统动作序列的集合。为了给出一个网系统语言的形式描述,基于Petri网的状态转换图,分析了Petri网的行为特征,定义了α闭包表达式和Petri网语言表达式,给出了求解Petri网语言表达式的算法,为Petri网语言的形式化描... Petri网语言是描述网系统动作序列的集合。为了给出一个网系统语言的形式描述,基于Petri网的状态转换图,分析了Petri网的行为特征,定义了α闭包表达式和Petri网语言表达式,给出了求解Petri网语言表达式的算法,为Petri网语言的形式化描述和分析提供了一种新方法。 展开更多
关键词 petri状态转换图 重复序列的依赖性 petri语言表达式 算法
在线阅读 下载PDF
Petri网的进程文法和进程语言 被引量:4
13
作者 吴哲辉 张继军 《计算机科学》 CSCD 北大核心 2002年第12期31-34,共4页
The concept of process grammar, based on the idea of vector grammar, for petri net is presented in this pa-per. The process language of a petri net can be generated by derivation according to its process grammar . The... The concept of process grammar, based on the idea of vector grammar, for petri net is presented in this pa-per. The process language of a petri net can be generated by derivation according to its process grammar . The set ofbasic process section sequence represented by the process language of a petri net ∑is the same as that represented bythe process expression of ∑if ∑is bounded or fair. In the case of that∑is unbounded and unfair ,the set of all processof∑ can also be represented by its process language passed through parallel processing. 展开更多
关键词 petri 进程文法 进程语言 进程表达式
在线阅读 下载PDF
上下文无关Petri网语言的Pumping引理 被引量:3
14
作者 张继军 吴哲辉 《小型微型计算机系统》 CSCD 北大核心 2008年第4期698-702,共5页
Petri网语言可分为正规Petri网语言、上下文无关Petri网语言和Petri网语言三类,Pumping引理反映了一类语言的共性.对于正规Petri网语言类和Petri网语言类都已给出了其相应的Pumping引理,而对于上下文无关Petri网语言类的Pumping引理却... Petri网语言可分为正规Petri网语言、上下文无关Petri网语言和Petri网语言三类,Pumping引理反映了一类语言的共性.对于正规Petri网语言类和Petri网语言类都已给出了其相应的Pumping引理,而对于上下文无关Petri网语言类的Pumping引理却一直未给出.本文通过分析上下文无关Petri网语言的结构性质,给出了上下文无关Petri网语言的Pumping引理,并且正规Petri网语言的Pumping引理是上下文无关Petri网语言的Pumping引理的一种特殊形式,而上下文无关Petri网语言的Pump-ing引理又是Petri网语言Pumping引理的一种特殊形式,从而完整地解决了三类Petri网语言Pumping引理以及它们之间的关系. 展开更多
关键词 Pumping引理 语言 petri 上下文无关语言
在线阅读 下载PDF
可视化过程建模语言VPML与PETRI网的等价性证明 被引量:1
15
作者 任爱华 周伯生 +1 位作者 王博 黄理骏 《计算机工程与设计》 CSCD 2001年第6期11-18,共8页
VPML(Visual Process Modeling Language)是企事业过程建模系统EPMS(Enterprise Process Modeling System)所采用的可视化过程建模语言,适用于过程模... VPML(Visual Process Modeling Language)是企事业过程建模系统EPMS(Enterprise Process Modeling System)所采用的可视化过程建模语言,适用于过程模型建造和过程模型模拟。VPML语言功能的强弱直接影响过程建模的能力,它是过程建模、过程优化和运作的基础。因此,VPML语义的正确性与完备性是得到可靠的过程模型的基本保证。以枚举法为基础,利用PETRI网描述VPML的所有语义,从而证明VPML语义的正确性与完备性。综合VPML语言易于掌握,PETRI网描述并发执行简单易行的优点,建立了二者之间的映射关系,加快系统建模过程,提高开发产品的可靠性。 展开更多
关键词 可视化建模语言 面向对象 VPML语言 petri 等价性
在线阅读 下载PDF
各类Petri网语言间的关系 被引量:1
16
作者 刘关俊 蒋昌俊 陈黎静 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第7期1633-1638,共6页
Petri网语言是Petri网理论的重要组成部分,反映了Petri网的模拟能力;同时,Petri网语言也是分析系统行为的重要手段之一,在许多方面得到了应用。对已有的12类Petri网语言,已经给出了它们之间一个粗略的包含关系。在已有关系的基础上,给... Petri网语言是Petri网理论的重要组成部分,反映了Petri网的模拟能力;同时,Petri网语言也是分析系统行为的重要手段之一,在许多方面得到了应用。对已有的12类Petri网语言,已经给出了它们之间一个粗略的包含关系。在已有关系的基础上,给出了这12种语言类之间一个更详细的包含关系:有的语言类之间是真包含,有的语言类之间是相交但互不包含,因此,能够较详细地刻画出这12类语言间不同的模拟能力;同时,从证明中也可以了解到一些语言类自身的特点。 展开更多
关键词 petri 语言 属型
在线阅读 下载PDF
自动制造系统规格说明语言的Petri网语义设计 被引量:1
17
作者 李志武 贾建援 叶尚辉 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1996年第3期406-413,共8页
研究了自动制造系统中离散事件的形式化表示方法.依助通信顺序进程设计了制造系统的规格说明语言,在给出事件的Petri网表示的基础上,讨论了系统行为描述语言的Petri网语义,即系统Petri网控制器的静态结构.根据系统... 研究了自动制造系统中离散事件的形式化表示方法.依助通信顺序进程设计了制造系统的规格说明语言,在给出事件的Petri网表示的基础上,讨论了系统行为描述语言的Petri网语义,即系统Petri网控制器的静态结构.根据系统行为的描述语言及Petri网控制器的结构,可以研究具有活性、安全或有界性以及可逆性的Petri网控制器初始标识的设计算法.因此,制造系统规格说明语言的Petri网语义设计。 展开更多
关键词 自动制造系统 规格说明语言 petri CIM
在线阅读 下载PDF
统一建模语言状态图的Petri网模型及其分析方法 被引量:3
18
作者 郭峰 《计算机集成制造系统》 EI CSCD 北大核心 2007年第7期1300-1307,共8页
针对现有关于统一建模语言状态图形式化语义研究过程中存在的缺点,给出一种统一建模语言状态图的形式化语法表示方法,结合统一网、着色网定义了描述统一建模语言状态图动态语义的Petri网模型状态图网,状态图网可以准确描述状态图中的层... 针对现有关于统一建模语言状态图形式化语义研究过程中存在的缺点,给出一种统一建模语言状态图的形式化语法表示方法,结合统一网、着色网定义了描述统一建模语言状态图动态语义的Petri网模型状态图网,状态图网可以准确描述状态图中的层间转移、转移的冲突和并发等现象,并且可以描述状态图转移上的数据处理和状态图之间的通讯机制,给出了从统一建模语言状态图到状态图网的转换规则,讨论了基于状态图网验证统一建模语言状态图正确性和一致性的方法。 展开更多
关键词 统一建模语言状态图 petri 形式化语义
在线阅读 下载PDF
Petri网和Z语言的集成形式化方法
19
作者 胡劲松 赵保华 +1 位作者 郭雄辉 屈玉贵 《小型微型计算机系统》 CSCD 北大核心 2004年第8期1450-1453,共4页
随着各具特色的形式化方法不断涌现 .研究各种形式化模型之间的关系 ,并且通过组合、集成的方法 ,综合它们的特性 ,不仅在理论上 ,而且在实践中都具有非常重大的意义 .将集成 Petri网和 Z语言两种形式化方法 ,使它们能够保留各自的优点 ... 随着各具特色的形式化方法不断涌现 .研究各种形式化模型之间的关系 ,并且通过组合、集成的方法 ,综合它们的特性 ,不仅在理论上 ,而且在实践中都具有非常重大的意义 .将集成 Petri网和 Z语言两种形式化方法 ,使它们能够保留各自的优点 ,并互相弥补不足 ,进而形成一种新的、更加全面的形式化方法 展开更多
关键词 形式化方法 petri Z语言 PZ
在线阅读 下载PDF
正规语言闭包运算的Petri网构造方法
20
作者 苏平 束德勤 范昊 《计算机工程与应用》 CSCD 北大核心 2010年第12期50-52,59,共4页
Petri网语言与Chomsky文法体系之间的关系已有了一些结论,已经证明正规语言是Petri网语言的一个子类。相关文献中给出了一种Petri网子类——恰当终结的标准Petri网,并且已经证明恰当终结的标准Petri网语言与正规语言的等价性。在此基础... Petri网语言与Chomsky文法体系之间的关系已有了一些结论,已经证明正规语言是Petri网语言的一个子类。相关文献中给出了一种Petri网子类——恰当终结的标准Petri网,并且已经证明恰当终结的标准Petri网语言与正规语言的等价性。在此基础上,研究了正规表达式中Kleene闭包运算"*"的Petri网构造方法,分别给出了Kleene闭包运算"*"的ε-空标注和无ε-空标注Petri网模型的构造方法。该构造方法可由产生正规语言L的网模型直接得到产生正规语言L*的网模型。证明了对于恰当终结的标准Petri网,正规语言闭包运算"*"的构造是封闭的。 展开更多
关键词 petri 正规语言 闭包运算 petri构造方法
在线阅读 下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部