共查询到20条相似文献,搜索用时 31 毫秒
1.
T-组合Petri网的活性和公平性分析 总被引:1,自引:0,他引:1
同步合成是研究复杂Petri网系统性质的有效途径.文中通过引入可引发变迁序偶的概念,研究了T-组合(同步合成)Petri网对子网的活性和公平性继承关系,给出了一组T-组合Petri网活或公平的充要条件和充分条件.这些结果对网组合同步设计具有重要的指导意义 相似文献
2.
ST—组合Petri网的结构性质分析 总被引:2,自引:0,他引:2
本文提出ST-组合Petri网的概念,讨论了ST-组合Petri网对子网的结构性质保持问题,深入研究了ST-组合Petri网的结构活性、结构有界性,守恒性,可重复性,相容性,公平性。本文给出的网组合可作为系统合成与分析的有效方法。 相似文献
3.
扩展时间流Petri网多媒体同步模型 总被引:5,自引:0,他引:5
多媒体同步的一个主要问题是多媒体同步时间要求的描述与建模。文中基于时间流Petri网模型(TSPN),通过分析TSPN模型的不足之处,提出了一种新的多媒体同步模型--扩展时间流Petri网模型(STSPN),STSPN不但可以完全、准确地描述媒体流内和流间的时间行为,而且通过引入容许阻塞时间、问题算法等对TSPN进行扩展,可以有铲地克服网络随机延迟、阻塞和丢包等因素的不良影响,提高了模型的建模能力 相似文献
4.
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网活性的控制装置。 相似文献
5.
本文提出了Petri网的两类块组合加网的块笛加网,讨论了保持网的代数性质的条件,这些结果对Petri网的合成和分析是非常有用的。 相似文献
6.
使用Petri网T—不变量求解子句的逻辑推论 总被引:2,自引:0,他引:2
本文研究了子句逻辑规则的Petri网模型的表示及使用Petri网分析方法进行逻辑推论,基于四值逻辑和冲突变迁的概念,表示了非Horn子句Petri网模型的构造,并使用T-不变量方法解决子句推论问题。 相似文献
7.
加权T—图的保性变换 总被引:1,自引:0,他引:1
Petri网的保性化简是Petri网分析的一种重要途径。Marata等对活的发安全的标识T-图提出了系统是化简运算体系。蒋昌俊对加权T-图提出了若干种化简运算,这些化简运算能够保持网的结构有界性、守恒性、可重复性和相容性,但未涉及活性和公平性的保持问题,本文提出对加权T-图的另一类保性化简,这些化简运算可以 保持网的结构活性和公平性。 相似文献
8.
一类资源组合问题的扩展参数Petri网建模与优化研究 总被引:5,自引:0,他引:5
现代企业重组及CIMS资源调度问题是一类典型资源组合优化问题。文中针对这类资源组合优化问题。提出一种新的建模方法--扩展参数Petri网。该网通过着色Petri网和时间Petri网中引入扩展参数使之对任务执行过程具有很强的模型描述与性能评价能力。另外,在该网中扩展的控制决策层Petri网模型不仅实现了对资源组合方案选择与评价并且可以方便地与不同的优化策略与优化算法进行集成,使问题的求解更加灵活、高 相似文献
9.
使用Petri网T-不变量求解子句的逻辑推论 总被引:4,自引:0,他引:4
本文研究了子句逻辑规则的Petri网模型的表示及使用Petri网分析方法进行逻辑推论.基于四值逻辑和冲突变迁的概念,表示了非Horn子句Petri网模型的构造,并使用T-不变量方法解决于句推论问题.另外,本文还显示了向前推论和向后推论在子句Petri网模型中的应用. 相似文献
10.
时间约束Petri风是具有广义时间约束的一类Petri网。目前有关TCPN状态可达性的研究仅局限于一些较简单的网,本文通过对TCPN的进一步研究,给出了更一般的状态可达性分析方法,并讨论了一般拓扑结构TCPN的可调度分析。 相似文献
11.
时序逻辑电路的Petri网分析方法 总被引:4,自引:0,他引:4
本文应用带抑止弧的增广Petri网,建立了基本门电路和常用触发器的Petri网模型,讨论了运用该模型描述同步和异步时序逻辑电路,给出了增广Petri网的矩阵描述和状态转移方程,在此基础上提出了同步和异步时序逻辑电路统一分析的Petri网方法。 相似文献
12.
在Petri网研究领域中,一直把P/T_网(即经典意义上的Petri网系统)与P/T_系统(即库所/变迁系统)划分为两类不同的Petri网进行研究。实际上,这两类Petri网没有质的区别,只要适当做些技术性处理,并将这些技术性处理建立在严格的同类性证明之上,即可把它们视为同一类Petri网系统。 相似文献
13.
带时间和控制的Petri网系统及应用 总被引:1,自引:0,他引:1
Petri网在描述一个并发事件组成的系统的同步行为时,无法体现时间因素对同步控制的影响,同时也难以描述这种同步控制。本文给出了Petri网中时间和控制的形式定义,并以信号灯系统等例说明了带时间和控制的Petri网的应用及在描述同步控制上的功能 相似文献
14.
用Petri网表示产生式知识 总被引:3,自引:0,他引:3
本文用P/T网,Pr/T网及其扩展对基于Horn子句的产生式知识进行了模拟,给出了将产生式知识换为Petri网的算法,并用Petri网对推理进行了探讨,试解了若干实例。 相似文献
15.
共享路径合成网的活性和公平性分析 总被引:1,自引:0,他引:1
本文提出了Petri网的共享路径合成网的概念,研究了合成网对子网的活性和公平性继承关系,最后给出一种实现共享路径合成网活性和公平性的控制装置,这些结果为网系统合成提供了有力手段,并对发系统的相关性质分析有重要的应用价值。 相似文献
16.
基于对象Petri网的离散事件系统建模仿真环境(OPMSE) 总被引:20,自引:2,他引:18
首先论述了Petri网和高级Petri网发展状况,提出了一种高级Petri网,即对象Petri网。然后介绍了基于对象Petri网的离散事件系统建模仿真环境OPMSE。文中详细介绍了OPMSE的特点与组成,并对OPMSE的核心-对象Petri网(OPN)的语法描述进行了重点介绍。 相似文献
17.
基于Petri网的异构协议转换的构造 总被引:4,自引:0,他引:4
异构网络由于协议的不兼容造成异构网络应用进程之间难以难,因此异构网络集成是当前网络工程所面临的困难之一,协议转换是实现异构网络互联的关键技术。文中首先给出协议转换的基本概念,并简述传统的协议转换方法。在此基础上,文中给出了基于Petri网的协议转换的定义,并利用Petri网的T不变量技术和并行组合积技术,按照自底向上的方法,提出了基于Petri网的协议转换器的构造算法及其证明,最后通过实例验证了其 相似文献
18.
H—网:一个基于Petri网的超文本形式模型 总被引:5,自引:0,他引:5
本文提出了一个基于Petri网的超文本形式模型H-网。H-网自然地从本质上刻画了超文本的所有主要性质,有助于超文本中各种主要问题的解决,并且可为超文本系统设计和超文本标准化的理论基础,由于创造性地以基于Petri网的形式框架统一超文本信息和知识,H-网还非常适于智能超文本系统的建模,文中重点讨论了H-网的原理和定义,并用H-网对超语言本进行了简单的描述。 相似文献
19.
基于时间Petri网的多媒体同步模型 总被引:1,自引:1,他引:1
多媒体同步是多媒体应用的一个重要需求,这已为众多研究人员所共识。多媒体同步的一个主要问题是多媒体同步时间需求的描述和建模。本文在克服当前多媒体同步模型局限性的基础上,提出了一个新的基于时间Petri网的多媒体同步模型--MSTP模型,它能使多媒体系统依据实际运行时的延迟和多媒体动脉同步类型。以更准确、高效的方式来保持多媒体同步。 相似文献
20.
本文提出了一种基于高阶Petri网的新型信息系统概念模型NR/T-net,并讨论了它在具有并发过程和复杂结构对象的分布式信息系统开发过程的支持。 相似文献