T-组合Petri网的活性和公平性分析

同步合成是研究复杂Ｐｅｔｒｉ网系统性质的有效途径．文中通过引入可引发变迁序偶的概念,研究了Ｔ－组合（同步合成）Ｐｅｔｒｉ网对子网的活性和公平性继承关系,给出了一组Ｔ－组合Ｐｅｔｒｉ网活或公平的充要条件和充分条件．这些结果对网组合同步设计具有重要的指导意义     

ST—组合Petri网的结构性质分析

本文提出ＳＴ－组合Ｐｅｔｒｉ网的概念,讨论了ＳＴ－组合Ｐｅｔｒｉ网对子网的结构性质保持问题,深入研究了ＳＴ－组合Ｐｅｔｒｉ网的结构活性、结构有界性,守恒性,可重复性,相容性,公平性。本文给出的网组合可作为系统合成与分析的有效方法。     

扩展时间流Petri网多媒体同步模型

多媒体同步的一个主要问题是多媒体同步时间要求的描述与建模。文中基于时间流Ｐｅｔｒｉ网模型（ＴＳＰＮ）,通过分析ＴＳＰＮ模型的不足之处,提出了一种新的多媒体同步模型－－扩展时间流Ｐｅｔｒｉ网模型（ＳＴＳＰＮ）,ＳＴＳＰＮ不但可以完全、准确地描述媒体流内和流间的时间行为,而且通过引入容许阻塞时间、问题算法等对ＴＳＰＮ进行扩展,可以有铲地克服网络随机延迟、阻塞和丢包等因素的不良影响,提高了模型的建模能力     

S-组合Petri网的活性分析与实现

设Σ１＝（Ｎ１，Ｍ１），Σ２＝（Ｎ２，Ｍ２）是两个Ｐｅｔｒｉ网，且不含有冻结标志，Ｎｉ＝（Ｓｉ，Ｔｉ；Ｆｉ），ｉ＝１，２，Ｔ１∩Ｔ２＝Φ，Ｓ１∩Ｓ２≠Φ，本文定义了Σ１，Σ２的Ｓ－组合Ｐｅｔｒｉ网Σｓ，通过引入Ｐｅｔｒｉ网互逆位置序偶的概念，深入研究了Σｓ的活性，给出了Σｓ有界活的几个判定条件。若Σ１，Σ２是两个活的Ｐｅｔｒｉ网，最后提出了一种实现Ｓ－组合Ｐｅｔｒｉ网活性的控制装置。     

Petri网的块组合加网及性能分析

本文提出了Ｐｅｔｒｉ网的两类块组合加网的块笛加网,讨论了保持网的代数性质的条件,这些结果对Ｐｅｔｒｉ网的合成和分析是非常有用的。     

使用Petri网T—不变量求解子句的逻辑推论

本文研究了子句逻辑规则的Ｐｅｔｒｉ网模型的表示及使用Ｐｅｔｒｉ网分析方法进行逻辑推论，基于四值逻辑和冲突变迁的概念，表示了非Ｈｏｒｎ子句Ｐｅｔｒｉ网模型的构造，并使用Ｔ－不变量方法解决子句推论问题。     

一类资源组合问题的扩展参数Petri网建模与优化研究

现代企业重组及ＣＩＭＳ资源调度问题是一类典型资源组合优化问题。文中针对这类资源组合优化问题。提出一种新的建模方法－－扩展参数Ｐｅｔｒｉ网。该网通过着色Ｐｅｔｒｉ网和时间Ｐｅｔｒｉ网中引入扩展参数使之对任务执行过程具有很强的模型描述与性能评价能力。另外,在该网中扩展的控制决策层Ｐｅｔｒｉ网模型不仅实现了对资源组合方案选择与评价并且可以方便地与不同的优化策略与优化算法进行集成,使问题的求解更加灵活、高     

加权T—图的保性变换

Ｐｅｔｒｉ网的保性化简是Ｐｅｔｒｉ网分析的一种重要途径。Ｍａｒａｔａ等对活的发安全的标识Ｔ－图提出了系统是化简运算体系。蒋昌俊对加权Ｔ－图提出了若干种化简运算，这些化简运算能够保持网的结构有界性、守恒性、可重复性和相容性，但未涉及活性和公平性的保持问题，本文提出对加权Ｔ－图的另一类保性化简，这些化简运算可以 保持网的结构活性和公平性。     

使用Petri网T－不变量求解子句的逻辑推论

本文研究了子句逻辑规则的Ｐｅｔｒｉ网模型的表示及使用Ｐｅｔｒｉ网分析方法进行逻辑推论．基于四值逻辑和冲突变迁的概念，表示了非Ｈｏｒｎ子句Ｐｅｔｒｉ网模型的构造，并使用Ｔ－不变量方法解决于句推论问题．另外，本文还显示了向前推论和向后推论在子句Ｐｅｔｒｉ网模型中的应用．     

时序逻辑电路的Petri网分析方法

本文应用带抑止弧的增广Ｐｅｔｒｉ网，建立了基本门电路和常用触发器的Ｐｅｔｒｉ网模型，讨论了运用该模型描述同步和异步时序逻辑电路，给出了增广Ｐｅｔｒｉ网的矩阵描述和状态转移方程，在此基础上提出了同步和异步时序逻辑电路统一分析的Ｐｅｔｒｉ网方法。     

时间约束Petri网的可达性分析研究

时间约束Ｐｅｔｒｉ风是具有广义时间约束的一类Ｐｅｔｒｉ网。目前有关ＴＣＰＮ状态可达性的研究仅局限于一些较简单的网,本文通过对ＴＣＰＮ的进一步研究,给出了更一般的状态可达性分析方法,并讨论了一般拓扑结构ＴＣＰＮ的可调度分析。     

P/T-网与P/T-系统的同类性证明

在Ｐｅｔｒｉ网研究领域中,一直把Ｐ／Ｔ＿网（即经典意义上的Ｐｅｔｒｉ网系统）与Ｐ／Ｔ＿系统（即库所／变迁系统）划分为两类不同的Ｐｅｔｒｉ网进行研究。实际上,这两类Ｐｅｔｒｉ网没有质的区别,只要适当做些技术性处理,并将这些技术性处理建立在严格的同类性证明之上,即可把它们视为同一类Ｐｅｔｒｉ网系统。     

带时间和控制的Petri网系统及应用

Ｐｅｔｒｉ网在描述一个并发事件组成的系统的同步行为时,无法体现时间因素对同步控制的影响,同时也难以描述这种同步控制。本文给出了Ｐｅｔｒｉ网中时间和控制的形式定义,并以信号灯系统等例说明了带时间和控制的Ｐｅｔｒｉ网的应用及在描述同步控制上的功能     

用Petri网表示产生式知识

本文用Ｐ／Ｔ网，Ｐｒ／Ｔ网及其扩展对基于Ｈｏｒｎ子句的产生式知识进行了模拟，给出了将产生式知识换为Ｐｅｔｒｉ网的算法，并用Ｐｅｔｒｉ网对推理进行了探讨，试解了若干实例。     

共享路径合成网的活性和公平性分析

本文提出了Ｐｅｔｒｉ网的共享路径合成网的概念,研究了合成网对子网的活性和公平性继承关系,最后给出一种实现共享路径合成网活性和公平性的控制装置,这些结果为网系统合成提供了有力手段,并对发系统的相关性质分析有重要的应用价值。     

基于对象Petri网的离散事件系统建模仿真环境(OPMSE)

首先论述了Ｐｅｔｒｉ网和高级Ｐｅｔｒｉ网发展状况,提出了一种高级Ｐｅｔｒｉ网,即对象Ｐｅｔｒｉ网。然后介绍了基于对象Ｐｅｔｒｉ网的离散事件系统建模仿真环境ＯＰＭＳＥ。文中详细介绍了ＯＰＭＳＥ的特点与组成,并对ＯＰＭＳＥ的核心－对象Ｐｅｔｒｉ网（ＯＰＮ）的语法描述进行了重点介绍。     

基于Petri网的异构协议转换的构造

异构网络由于协议的不兼容造成异构网络应用进程之间难以难,因此异构网络集成是当前网络工程所面临的困难之一,协议转换是实现异构网络互联的关键技术。文中首先给出协议转换的基本概念,并简述传统的协议转换方法。在此基础上,文中给出了基于Ｐｅｔｒｉ网的协议转换的定义,并利用Ｐｅｔｒｉ网的Ｔ不变量技术和并行组合积技术,按照自底向上的方法,提出了基于Ｐｅｔｒｉ网的协议转换器的构造算法及其证明,最后通过实例验证了其     

H—网：一个基于Petri网的超文本形式模型

本文提出了一个基于Ｐｅｔｒｉ网的超文本形式模型Ｈ－网。Ｈ－网自然地从本质上刻画了超文本的所有主要性质，有助于超文本中各种主要问题的解决，并且可为超文本系统设计和超文本标准化的理论基础，由于创造性地以基于Ｐｅｔｒｉ网的形式框架统一超文本信息和知识，Ｈ－网还非常适于智能超文本系统的建模，文中重点讨论了Ｈ－网的原理和定义，并用Ｈ－网对超语言本进行了简单的描述。     

基于时间Petri网的多媒体同步模型

多媒体同步是多媒体应用的一个重要需求，这已为众多研究人员所共识。多媒体同步的一个主要问题是多媒体同步时间需求的描述和建模。本文在克服当前多媒体同步模型局限性的基础上，提出了一个新的基于时间Ｐｅｔｒｉ网的多媒体同步模型－－ＭＳＴＰ模型，它能使多媒体系统依据实际运行时的延迟和多媒体动脉同步类型。以更准确、高效的方式来保持多媒体同步。     

一种新型的信息系统概念模型NR／T—net

本文提出了一种基于高阶Ｐｅｔｒｉ网的新型信息系统概念模型ＮＲ／Ｔ－ｎｅｔ,并讨论了它在具有并发过程和复杂结构对象的分布式信息系统开发过程的支持。