期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Petri网系统活性的研究 被引量：10
1
作者 陆维明 甄强 《计算机科学》 CSCD 北大核心 1999年第4期1-4,共4页
随着Petri网在平行计算、通讯系统、计算机集成制造系统等领域的广泛应用,在以Petri网为实际系统建立模型之后,人们很关心模型系统各种性质与行为,其中,活性是最关心的性质之一。我们知道Petri网系统是动态系统的静态描述,从它可以很容... 随着Petri网在平行计算、通讯系统、计算机集成制造系统等领域的广泛应用,在以Petri网为实际系统建立模型之后,人们很关心模型系统各种性质与行为,其中,活性是最关心的性质之一。我们知道Petri网系统是动态系统的静态描述,从它可以很容易得到系统的状态转换图,一般称Petri网系统的可达图(系统无界时,得覆盖图)。实质上,可达图是动态系统的动态描述;系统有多少种不同状态(不考虑系统无界时),可达图就有多少个结点;结点间由有向弧连结。 展开更多
关键词 petri网系统 活性 可达图 动态系统
下载PDF
论高级Petri网系统的等价谱系 被引量：9
2
作者 郝克刚 葛玮 《计算机学报》 EI CSCD 北大核心 1993年第7期553-558,共6页
高级网系统简洁明了,在Petri网系统的应用中是非常有效的。本文讨论了高级网系统的等价变换,提出了高级网系统的两种极端形式——最高网系统和最低网系统,并且证明了所有高级网系统都可以构造与其等价的最高网系统和最低网系统。此外,... 高级网系统简洁明了,在Petri网系统的应用中是非常有效的。本文讨论了高级网系统的等价变换,提出了高级网系统的两种极端形式——最高网系统和最低网系统,并且证明了所有高级网系统都可以构造与其等价的最高网系统和最低网系统。此外,还提出了高级网系统的等价谱系,旨在从理论上分析清楚高级网系统的本质。 展开更多
关键词 petri网系统 等价变换 最高网系统 最低网系统 软件工程
下载PDF
共享合成Petri网系统的语言递归性与系统活性 被引量：10
3
作者 蒲飞 陆维明 宋文 《软件学报》 EI CSCD 北大核心 2004年第3期317-326,共10页
在Petri网系统合成操作的研究中,大系统的一些好性质,如活性、无死锁性的判定,是一个重要的研究内容.研究了Petri网系统的一种重要的合成操作棗共享合成,着重研究了Petri网系统共享合成的行为关系(语言关系),指出并证明了Petri网系统共... 在Petri网系统合成操作的研究中,大系统的一些好性质,如活性、无死锁性的判定,是一个重要的研究内容.研究了Petri网系统的一种重要的合成操作棗共享合成,着重研究了Petri网系统共享合成的行为关系(语言关系),指出并证明了Petri网系统共享合成过程中语言的递归性质,得到一个并发语言形式的共享合成语言关系式.这个语言关系式为应用Petri网系统对具有并发行为特征的系统进行建模分析提供了一种有效的形式化工具.进而利用这个语言关系式来判定共享合成网系统的活性与无死锁性,得到共享合成网系统活及无死锁的充要条件.最后给出了一些条件,在这些条件下,可用小系统的语言子集来判定共享合成网系统的活性,从而达到用小系统来研究大系统活性的目的. 展开更多
关键词 共享合成 语言递归性 并发语言 路径并发合成 petri网系统 系统活性
下载PDF
Petri网节点重要性评价 被引量：3
4
作者 冯丽萍 文超 彭其渊 《中国安全科学学报》 CAS CSCD 北大核心 2015年第4期116-122,共7页
为提高网系统的日常安全管理水平,实现系统重要节点的重点监管,以基本Petri网系统为对象,提出考虑相继故障的节点重要性评价方法。先将变迁间的关联结构关系划分为串联顺序、选择关联和非关联3种,并给出相应的形式化判别方法和变迁节点... 为提高网系统的日常安全管理水平,实现系统重要节点的重点监管,以基本Petri网系统为对象,提出考虑相继故障的节点重要性评价方法。先将变迁间的关联结构关系划分为串联顺序、选择关联和非关联3种,并给出相应的形式化判别方法和变迁节点失效传递规则。在此基础上,建立基本Petri网系统中变迁节点的全局重要性评价指标及算法。最后以高速铁路中临时限速实施过程为算例,进行方法验证。结果表明:所建立的Petri网节点重要性评价方法能够体现网络系统的相继故障特性,并且能够解决节点删除法造成的网络不连通性问题。 展开更多
关键词 系统工程 评价方法 相继故障 petri网系统 关联结构类型
下载PDF
一类Petri网系统建模与可达性分析的STP方法 被引量：1
5
作者 韩晓光 陈增强 +2 位作者 张奎泽 刘忠信 张青 《北京邮电大学学报》 EI CAS CSCD 北大核心 2016年第6期72-76,共5页
基于矩阵半张量积(STP)方法研究了一类Petri网系统(PNSs)的建模和可达性问题.首先,利用STP将这类PNSs的动态演化表示为离散时间双线性方程;然后,给出了这类PNSs的变迁-状态邻接矩阵的定义,利用所建立的双线性方程和变迁-状态邻接矩阵给... 基于矩阵半张量积(STP)方法研究了一类Petri网系统(PNSs)的建模和可达性问题.首先,利用STP将这类PNSs的动态演化表示为离散时间双线性方程;然后,给出了这类PNSs的变迁-状态邻接矩阵的定义,利用所建立的双线性方程和变迁-状态邻接矩阵给出了这类PNSs状态可达性判别的几个充要条件,同时设计了计算这类PNSs任意两可达状态的所有路径的有效算法;最后,用实例说明了所得结果的可行性与有效性. 展开更多
关键词 petri网系统 可达性 矩阵的半张量积 变迁-状态转移矩阵 变迁-状态邻接矩阵
原文传递
基于TOC和面向对象Petri网系统的后勤保障流程建模
6
作者 唐国锋 王丰 《物流技术》 2007年第1期124-127,共4页
在后勤保障流程建模中,提出了一种将有色Petri网系统、广义随机Petri网系统与面向对象技术、约束理论相结合的流程建模方法,使得模型具有较好的模块性、扩展性。通过应用该方法对军队物资采购机构单元Petri网模型进行着色、赋时、对象... 在后勤保障流程建模中,提出了一种将有色Petri网系统、广义随机Petri网系统与面向对象技术、约束理论相结合的流程建模方法,使得模型具有较好的模块性、扩展性。通过应用该方法对军队物资采购机构单元Petri网模型进行着色、赋时、对象化改造,详细说明了该方法的建模步骤。 展开更多
关键词 petri网系统 面向对象技术 TOC 后勤保障流程
下载PDF
复杂系统故障传播与故障分析模型研究 被引量：18
7
作者 韩光臣 孙树栋 +1 位作者 司书宾 付平 《计算机集成制造系统》 EI CSCD 北大核心 2005年第6期794-798,835,共6页
针对复杂系统故障传播与故障分析的复杂性与不确定性,建立了一种复杂系统故障传播与故障分析模型,即模糊概率Petri网系统。该模型引入故障模式关联概率与置信度约束,用模糊概率Petri网完备地描述了子系统故障模式关联关系,并按照子系统... 针对复杂系统故障传播与故障分析的复杂性与不确定性,建立了一种复杂系统故障传播与故障分析模型,即模糊概率Petri网系统。该模型引入故障模式关联概率与置信度约束,用模糊概率Petri网完备地描述了子系统故障模式关联关系,并按照子系统之间的连接关系用消息库所和门变迁连接各模糊概率Petri网,最终形成整个复杂系统的模糊概率Petri网系统模型。模糊概率Petri网系统采用对象内置于Petri网和Petri网内置于对象相结合的方式,简化了模型的表达形式,具有良好的封装性、可重用性和可维护性。最后,以一个应用实例说明了模型的适用性。 展开更多
关键词 模糊概率petri网系统 模型 复杂系统 故障传播 故障分析 面向对象
下载PDF
基于模糊概率Petri网系统的故障诊断仿真研究 被引量：13
8
作者 韩光臣 孙树栋 +1 位作者 司书宾 陈东明 《计算机集成制造系统》 EI CSCD 北大核心 2006年第4期520-525,共6页
利用面向对象思想、高级Petri网技术、模糊及概率理论,建立了一种描述复杂系统故障关系的模型。着重介绍了基于该模型的故障诊断仿真控制策略,包括控制层策略和操作层策略。讨论了该模型的网元素实现,定义了5个库所类、5个变迁类、1个... 利用面向对象思想、高级Petri网技术、模糊及概率理论,建立了一种描述复杂系统故障关系的模型。着重介绍了基于该模型的故障诊断仿真控制策略,包括控制层策略和操作层策略。讨论了该模型的网元素实现,定义了5个库所类、5个变迁类、1个模糊概率Petri对象类、1个模糊概率Petri对象类的派生类和3个Token对象类,并给出了基于该模型的故障诊断仿真算法。最后,介绍了基于该模型的故障诊断仿真系统设计,并以简单的仿真实验验证了模型及仿真算法的适用性。 展开更多
关键词 模糊概率petri网系统 故障诊断 仿真 控制
下载PDF
网上教育形式化动态建模方法研究 被引量：5
9
作者 黄晓橹 《计算机工程与应用》 CSCD 北大核心 2003年第31期77-81,210,共6页
该文分析了网上教育形式化建模的必要性,参考经典教学文献中对现实世界教学活动行为过程的论述,对通用化的Petri网进行扩展,赋予其教学活动的内涵特性,对教学活动中涉及的元素进行个性分类,提出了一套基于有色Petri网系统,符合教学活动... 该文分析了网上教育形式化建模的必要性,参考经典教学文献中对现实世界教学活动行为过程的论述,对通用化的Petri网进行扩展,赋予其教学活动的内涵特性,对教学活动中涉及的元素进行个性分类,提出了一套基于有色Petri网系统,符合教学活动特性和要求的、针对网上教育进行的形式化动态建模方法,为进一步进行网上教育系统的设计开发提供了规范化的理论指导。 展开更多
关键词 网上教育 动态建模 有色petri网系统 个性化教学
下载PDF
基于矩阵方法的有界Petri网系统的能观性分析 被引量：1
10
作者 高娜 韩晓光 +1 位作者 陈增强 张青 《控制理论与应用》 EI CAS CSCD 北大核心 2018年第1期71-78,共8页
Petri网和有限自动机是离散事件动态系统的两类主要研究内容.而Petri网系统的能观性分析与判别是基于Petri网的实际系统设计、优化、监测及控制的重要基础.以往关于Petri网能观测性的研究缺乏定量化的充要判别条件.本文利用代数矩阵方... Petri网和有限自动机是离散事件动态系统的两类主要研究内容.而Petri网系统的能观性分析与判别是基于Petri网的实际系统设计、优化、监测及控制的重要基础.以往关于Petri网能观测性的研究缺乏定量化的充要判别条件.本文利用代数矩阵方法研究了带有输出的有界Petri网系统的能观性问题.首先,基于矩阵的半张量积,将带有输出的有界Petri网系统的动态行为以线性方程组的形式建立了数学模型.然后,针对初始标识和当前标识,介绍了两种能观性定义.最后,基于矩阵运算建立了关于有界Petri网系统能观性的几个充分必要条件,并给出严格证明.数值算例验证了理论结果.本文提出的方法实现了有界Petri网系统能观性的矩阵运算,易于计算机实现. 展开更多
关键词 离散事件动态系统 能观性 有界petri网系统 petri网 矩阵的半张量积
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部