具有同步调整功能的多媒体同步模型研究

本文在基于时间Ｐｅｔｒｉ网的多媒体同步模型ＯＸＣＰＮ的基础上，讨论了支持 同步调整的媒体对象表示方法、媒体划分的粒度、多媒体同步的调整策略、多媒体应用的实现，提出了同步调整的算法，并证明了多媒体的同步表示可以用一种Ｐｅｔｒｉ网形式表示。     

基于Petri网的知识表示

介绍一种基于Ｐｅｔｒｉ网的知识表示方法。在引入Ｐｅｔｒｉ网的基本知识后，详细讨论了Ｐｅｔｒｉ网表示产生式系统及基于Ｈｏｒｎ逻辑子句的Ｐｅｔｒｉ网表示，提出了用库所表示产生式谓词，用变迁表示规则的Ｐｅｔｒｉ模型。最后讨论了将Ｐｅｔｒｉ网应用于ＯＯＡ（面向对象分析）模型的研究，从而提出一个基于Ｐｅｔｒｉ网的ＯＯＡ模型     

基于Petri网的超媒体形式化模型

针对演播类超媒体提出一处基于Ｐｅｔｒｉ网的形式化模型ＯＯＰＮ,它由一个扩展Ｐｅｔｒｉ网、若干对象以及Ｐｅｔｒｉ网与对象之间的映射表示,具有刻画超媒体主要性质的能力。着重给出了ＯＯＰＮ模型的形式化定义以及它对超媒体逻辑结构、时序结构和语义结构的描述。     

基于Petri网的设备故障诊断研究

基于设备故障诊断知识的特点,采用层次树结构统一表示故障深浅知识。对普通Ｐｅｔｒｉ 网进行拓展定义,并用拓展Ｐｅｔｒｉ 网综合实现故障知识的表示和故障的诊断推理。诊断时首先基于拓展Ｐｅｔｒｉ 网模型的正向可达性分析进行正向不确定推理,限定可能的故障模块,然后基于Ｐｅｔｒｉ 网模型的反向推理功能在故障模块内具体诊断出故障原因。基于ＦＭＳ故障诊断知识的分析,文中给出了一个利用拓展Ｐｅｔｒｉ 网进行知识表示和推理的实例,证明了方法的可行性。     

Petri网在电信管理网可信性建模中的应用

介绍了ＴＭＮ（电信管理网）可信性建模的一种新的方法———Ｐｅｔｒｉ网。首先简要介绍了Ｐｅｔｒｉ网的基本概念和Ｐｅｔｒｉ网的特性分析,然后描述了用Ｐｅｔｒｉ网进行建模的一般方法并举例说明了它在ＴＭＮ可信性建模中的应用。最后还介绍了一种自动生成可信性Ｐｅｔｒｉ网模型的方法。     

随机状态机Petri网性能分析的矩母函数方法

提出了对随机Ｐｅｔｒｉ网的一个子网—随机状态机Ｐｅｔｒｉ网进行性能分析的矩母函数解析计算方法，并通过例子说明了该方法的计算过程。对特定的系统应用该方法时，首先将其表示成状态机Ｐｅｔｒｉ网模型，计算出传递函数，然后求出系统的性能测度。该方法克服了马尔可夫链对时间延迟必须是负指数分布的限制，从而使其具有更广泛的适用性。     

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

多媒体同步是多媒体系统的关键问题,而同步模型是同步技术的基础。介绍了在建立于Ｐｅｔｒｉ网基础上的经典多媒体同步模型ＯＣＰＮ,介绍并评价了几种扩展的Ｐｅｔｒｉ网同步模型ＸＯＣＰＮ,ＤＴＰＮ和ＩＭＰＳＭ。最后进行了总结,指出了目前同步模型中存在的问题并对今后的工作进行了讨论。     

产生式知识表示的Petri网模型及其推理规则

为了使由产生式规则的构成的知识库系统更加具有完整性,更好地反映规则的内部逻辑,根据Ｐｅｔｒｉ网的基本原理,在产生式规则和Ｐｅｔｒｉ网的条件／事件系统之间建立一致性关系,在此基础上提出了一种产生式知识表示的Ｐｅｔｒｉ网络模型及其相应的推理规则,详细说明了模型的构成原理和构造过程,并结合实例就该模型及推理规则的科学性和实用性进行了说明。     

反应式系统的并发模型（Ⅲ）——Petri网模型

基于文（２,３）,引入反应式系统形式化描述的另一种典型模型－Ｐｅｔｒｉ网,给出一些重要性质的Ｐｅｔｒｉ网描述,建立了它与文（２）的抽象计算模型之间的映射关系,最后指出Ｐｅｔｒｉ网的一些不足之处。     

带决策的扩展Petri网及其在FMS中的应用

基于Ｐｅｔｒｉ网基本原理，对原有赋时Ｐｔｒｉ网和着色Ｐｅｔｒｉ网加以扩充，提出一种新型的决策的扩展Ｐｅｔｒｉ网（ＤＥＰＮ）方法，并对ＤＥＰＮ模型的建模和应用等问题进行了探讨，文末针对一个实际的ＦＭＳ系统阐述了运用ＤＥＰＮ模型进行建模和展开研究的及过程，难了方法有效性。     

Petri网在帧中继与X.25协议转换中的应用

提出了一种用Ｐｅｔｒｉ网研究两种协议转换的方法。在两个协议提供原语的基础上，利用Ｐｅｔｒｉ网丰富的描述特性建立转换模型，与用有限状态机建立转换模型相比，简化了过程。在Ｐｅｔｒｉ网的基础上，利用图论方法论证其正确性。最后，用这种方法分析了Ｘ２５与帧中继之间的协议转换，并建立转换模型。     

一种扩充的面向对象Petri网

在面向对象的Ｐｅｔｒｉ网基础上，引入依赖消息，提出了一种扩充的面向对象Ｐｅｔｒｉ网（ＥＯＰＮ）模型，并以企业中的一项生产活动－－ＰＣＢ元件贴装为实例，建立了描述这一活动系统的完整的ＥＯＰＮ模型，据此实现了物料分配的优化调度，构成了ＣＡＤ／ＣＡＭ集成系统中重要的一环。     

基于遗传算法的变结构神经Petri网模型

将Ｐｅｔｒｉ网理论引入到神经网络模型的研究中，依据生物学神经系统的可塑性，通过适当扩展规范Ｐｅｔｒｉ网，建立了人工神经元状态转化的Ｐｅｔｒｉ网模型，在此基础上给出了利用遗传算法设计变结构神经Ｐｅｔｒｉ网的方法，该方法不仅可以得到满足要求的网络参数，而且能对网络的拓扑结构进行优化，仿真结果验证了该方法的可行性。     

Signal语言对扩展型Petri网的分析

为了解决现有Ｐｅｔｒｉ网分析工具（可达性树和矩阵方程）不能很好对扩展型Ｐｅｔｒｉ网进行分析的问题，提出用Ｓｉｇｎａｌ语言对扩展型Ｐｅｔｒｉ网进行分析的方法．Ｓｉｇ－ｎａｌ语言不仅能够解答扩展型Ｐｅｔｒｉ网安全性、有界性等问题，还能够直观地表示扩展型Ｐｅｔｒｉ网中各变量之间的约束关系及特性，更好地揭示网络的动态变化行为．     

面向对象的Petri网方法及其在甲骨文编码中的应用

介绍了面向对象的Ｐｅｔｒｉ网方法,给出了ＯＯＰＮ的基本定义,图形和语言表示;并运用面向对象Ｐｅｔｒｉ网方法研究甲骨文象形码的编码原理,将每个甲骨文字做为一个对象实例,运用面向对象Ｐｅｔｒｉ网方法,对甲文字根对象进行聚类,形成凶,从而得到每个甲骨文字的编码。     

CERNET的Petri网建模及性能指标评估

构造了ＣＥＲＮＥＴ的性能指标评估Ｐｅｔｒｉ网模型，并据现有的统计资料得出了模型的具体参数．提出了一种计数禁止弧的新概念，并给出了它的一系列基本性质．最后，通过对Ｐｅｔｒｉ网模型的求解，给出了未来中国教育科研网的几个重要的性能指标．通过对性能曲线的分析，可对网络的建设和完善提供重要的理论依据     

面向对象扩展着色Petri网在装配系统中的应用

根据面向对象思想，提出了面向对象扩展着色Ｐｅｔｒｉ网模型。该模型一方面，具有通用性，可重用性和易扩生；另一方面，具有简单性，直观性。很好地解决了传统的Ｐｅｔｒｉ网所面临的问题。     

基于TPN的柔性装配系统建模及其动态性能分析

以某真空开关厂的柔性装配系统为分析对象，建立了系统的延时Ｐｅｔｒｉ网模型，对系统的动态性能进行了仿真分析和定量计算，并对系统中的工位分配方案，操作运输时间及作业控制策略等进行了优化，文中提出的模型和分析方法对柔性装配系统的设计和研究具有普遍的借鉴意义。     

基本拉动系统的Petri多模型及性能分析

基于Ｐｅｔｒｉ网理论,建立了基本拉动Ｐｅｔｒｉ网模型,以基本拉动系统为对象,其Ｐｅｔｒｉ模型转变为强连接事件图,对其性能进行了分析,从而寻求了一种利用所建Ｐｅｔｒｉ网模型对拉动系统性能进行分析的方法,为了验证分析方法的正确性,进行了案例仿真分析,证明了分析方法的正确性。     

面向对象的FMS仿真,调度与控制的统一模型

分析了传统ＦＭＳ设计中存在的总是及建立统一模型的必要性，提出了基于统一仿真模型的解决方案；作为建立统一模型的突破口，提出了虚拟工作的站的概念，并初步探讨了基于虚拟工业站的ＦＭＳ控制模型，最后探讨了将面向对象的建模技术与Ｐｅｔｒｉ网相结合以构建统一模型的思路。