PETRI网语言

作品数：19被引量：92H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：吴哲辉曾庆田蒋昌俊张继军刘关俊更多>>
相关机构：山东科技大学山东农业大学中国科学院同济大学更多>>
相关期刊：《系统工程学报》《微电子学与计算机》《福建电脑》《通信学报》更多>>
相关基金：国家自然科学基金山东省优秀中青年科学家科研奖励基金国家重点基础研究发展计划上海市科学技术委员会基础研究重点项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
无标注L型Petri网语言属性判定的一种方法
《中国科学：信息科学》2017年第6期696-714,共19页栾尚敏 田立勤 耿子林 
国家自然科学基金(批准号:61472137);中央高校基本科研业务项目(批准号:3142014007;3142015022);河北省高等学校科学技术研究项目(批准号:Z2014038);青海省重点研发项目(批准号:2016-SF-130)资助
Petri网和自动机是离散事件动态系统建模的两种重要方法,研究这两种模型之间的关系,对于更好地理解和控制离散事件动态系统的行为具有重要作用.本文从形式语言的角度对该问题进行了研究,提出了判定无标注L型Petri网语言属性的方法,引入...
关键词：PETRI网语言 形式语言 自动机理论 可达树 正则语言 上下文无关语言 上下文相关语言 
基于Petri网的分析方法简述
《企业技术开发（下半月）》2011年第7期78-79,共2页李静 娄志刚 
对数学和图形进行描述和分析的工具很多,但能用良好的数学性质把一些复杂的现象(例如,同步、并发、分布、冲突、资源共享等)描述的直观、生动形象的工具很少,而Petri网就具有这些优点。在分布式系统、信息系统、离散事件系统等领域,都...
关键词：PETRI网 PETRI网语言 可达性 不变量 死锁 
袋自动机与Petri网模型之间的等价转化
《系统仿真学报》2008年第S2期43-45,共3页巩君华 张继军 范昊 
研究了袋自动机和Petri网两种计算模型之间的关系,证明了两者在串行语义下,其动态行为(语言)是等价的,并分别给出了将袋自动机等价转化为Petri网的算法和将Petri网等价转化为袋自动机的算法。
关键词：袋自动机 PETRI网 PETRI网语言 袋语言 等价性 
上下文无关Petri网语言的Pumping引理被引量：3
《小型微型计算机系统》2008年第4期698-702,共5页张继军 吴哲辉 
国家自然科学基金项目(60673053)资助
Petri网语言可分为正规Petri网语言、上下文无关Petri网语言和Petri网语言三类,Pumping引理反映了一类语言的共性.对于正规Petri网语言类和Petri网语言类都已给出了其相应的Pumping引理,而对于上下文无关Petri网语言类的Pumping引理却...
关键词：Pumping引理 语言 PETRI网 上下文无关语言 
Petri网分析方法综述
《福建电脑》2007年第10期43-45,共3页王斌国 
Petri网丰富的分析方法为Petri网的广泛应用提供了有力的保障。本文对Petri网的各种分析方法作了一简单的综述,希望对学习Petri网者有所帮助。
关键词：PETRI网 PETRI网语言 可达性 不变量 死锁 
各类Petri网语言间的关系被引量：1
《系统仿真学报》2007年第7期1633-1638,共6页刘关俊 蒋昌俊 陈黎静 
国家自然科学基(60473094);国家自然科学基金重点项目(60534060)。
Petri网语言是Petri网理论的重要组成部分,反映了Petri网的模拟能力;同时,Petri网语言也是分析系统行为的重要手段之一,在许多方面得到了应用。对已有的12类Petri网语言,已经给出了它们之间一个粗略的包含关系。在已有关系的基础上,给...
关键词：PETRI网 语言 属型 类 
Petri网语言的Pumping引理被引量：13
《计算机学报》2006年第2期274-278,共5页蒋昌俊 刘关俊 
国家自然科学基金项目(60125205;90412013;60473094;60534060);国家"九七三"重点基础研究发展规划项目基金(2003CB316902;2004CB318001-03);上海市优秀学科带头人计划项目基金(04XD14016);上海市基础研究重点项目基金(03JC14071;05JC14063)资助
Petri网语言是Petri网理论的重要组成部分,也是系统行为分析的一种重要的工具.Petri网语言的Pumping引理反映了Petri网语言的共性,可用来证明某些语言不是Petri网语言.已经证明,当一个Petri网语言可被某个有界Petri网产生时,此语言是正...
关键词：PETRI网 语言 正规语言 Pumping引理 
Petri网替换运算被引量：6
《计算机科学》2005年第11期238-240,共3页吴振寰 吴哲辉 
国家自然科学基金(项目号:60173053)
文中给出了Petri的替换运算定义,它是对分层模拟与逐步求精的Petri网建模思想方法的一个形式化描述。文中还通过Petri网语言讨论了Petri 网的替换运算同语言的替换运算之间的关系,结果表明,这两个从不同角度给出的替换运算在实质意义上...
关键词：PETRI网 替换运算 PETRI网语言 逐步求精 运算 形式化描述 思想方法 
Petri网语言的同步混排运算及在语言分析中的应用
《系统工程学报》2005年第5期492-496,503,共6页曾庆田 
国家自然科学基资助项目(6017305360274063);山东省中青年科学家科研奖励基金资助项目(02BS609)
Petri网语言是用于系统行为分析的有力工具,利用传统的语言运算并不容易刻画结构复杂Petri网的语言行为.为此,引入Petri网语言同步混排运算,并就基于库所指标的Petri网分解和Petri网同步合成过程中满足的语言行为关系,分析了Petri网语...
关键词：PETRI网 同步混排 Peteri网语言 分解 同步合成 
广义有界上下文无关语言与Petri网语言被引量：6
《系统仿真学报》2005年第z1期26-29,共4页张继军 吴哲辉 
提出了广义有界上下文无关语言的概念,该类语言是上下文无关语言的真子集;证明了广义有界上下文无关语言与上下文无关Petri网语言的等价性;进一步给出了上下文无关Petri网语言的一种形式描述--上下文无关Petri网语言表达式,对上下文无关...
关键词：上下文无关语言 广义有界上下文无关语言 PETRI网 Petri网语言表达式 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部