基于Petri网的知识表示

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

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

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

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

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

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

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

Petri网和图文法

通过对Ｐｅｔｒｉ网的点火变迁过程和图文法推导过程的研究，给出了从Ｐｅｔｒｉ网到图文法的构造过程，并进一步证明了网络的点火过程等价于图文法的推导过程，提供了关于并发性研究的又一途径。     

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

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

优先级调度规则建模研究

基于规则的调度方法已广泛应用于各类调度问题的求解中。为揭示规则对调度系统所产生的具体作用,研究了调度规则的建模问题,并主要运用Ｐｅｔｒｉ网为优先级调度规则建模。文中首先分析了普通Ｐｅｔｒｉ网模型中分别存在于库所、令牌和变迁这三个层次上的顺序冲突现象,认为这些冲突可通过引入相应的优先级调度规则来解决;接着结合实例运用三种类型的扩展Ｐｅｔｒｉ网对各层次的优先级调度规则建模;最后通过分析规则调度系统的结构特征,指出可运用混合动态系统领域的有关理论来研究规则调度系统的建模、分析和控制问题。     

一种离散事件系统建模新方法及其应用

为增强Ｐｅｔｒｉ网技术和Ｏ－Ｏ技术相结合而形成的ＯＯＰＮ的描述能力,提出了一种基于消息驱动机制的新型ＯＯＰＮ——ＭＯＰＮ的定义及其特性,它用面向对象方法为系统建立起整体框架,用有色Ｐｅｔｒｉ网具体实现各个对象,并加入消息驱动机制以在对象间传递消息,能较好地将Ｏ－Ｏ技术和Ｐｅｔｒｉ网的优点结合起来．用离散事件系统的典型实例——ＦＭＳ的建模来说明其在离散事件系统建模、分析中的应用     

线性变迁时间相关的连续Petri网(LTCPN)的动态性质及分析方法

线性变迁时间相关的连续Ｐｅｔｒｉ网是由徐学文最早提出的一类时延连续Ｐｅｒｔｉ网模型,但并未对其动态性质给出确切的定义及相应的分析方法。本文在给出ＬＴＣＰＮ有关动态性质的定义的基础上,利用微积分、微分方等分析手段,进一步对其动态性质给出了相应的判定定理。利用这些结论,可以对由ＬＴＣＰＮ模拟的系统进行性能分析。     

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

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

基于Petri网的工作流建模及时间性能分析

为求得与实例到达率相关的工作流模型平均完成时间,对Petri网模型进行了扩展,定义了扩展时延Petri网,分析了工作流串联、并联、选择、循环4种基本模型,给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法。应用该方法对工作流4种基本模型的实例进行时间性能评价,并在Exspect环境进行了模拟测试。实验结果表明,在4种模型中最大相对误差在2%左右,从而证明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。     

一种用于嵌入式系统建模的扩展PRES网

在嵌入式系统设计前期需要对系统建立适当的形式化模型并进行仿真分析。该文在分析现有Petri网模型的基础上,提出了一种EPRES(extended Petri net based onrepresentation for embedded system)模型,并具体给出了相应的结构定义、图形表示和行为规则。EPRES将库所分为控制库所和数据库所两类,引入变迁函数和变迁时延,可以对嵌入式系统的功能实现、资源消耗和时间约束进行描述和仿真分析。给出的使用EPRES对嵌入式系统建模的实例表明,该方法能够较好地解决嵌入式系统的建模问题。     

Control model for reconfigurable assembly systems

This paper proposes knowledge based object-oriented timed colored Petri net, a modeling method for reconfigurable assembly systems. Combining knowledge and object-oriented method into timed colored Petri net, a comprehensive and powerful representation model for control of RAS is obtained. With object-oriented method the whole system can be decomposed into concrete objects explicitly, and their relationships are constructed according to the system assembly requirements. Finally, a simple assembly system modeled by the KTCOPN is presented.     

Horn子句逻辑程序的Petri网模型

Horn 子句逻辑程序 H 可以逻辑等价地转化为 Petri 网模型 M,在 M 中从初始标识 N_0到目标变迁/g(?)形成的发射序列对应着求解 H 的调用序列,在 M 中存在变迁不变式 X≥(?),并且 X(tg)≠0是 H 有解的充要条件。     

扩展时间Petri网在CSMA/CD建模中的研究

对CSMA/CD的建模有利于对协议本身进行分析和评价,在对存在冲突事件的系统建模时,利用普通Petri网不能很好地反映和解决冲突。该文介绍一种扩展时间Petri网(ETPN),它利用在弧上赋予时间函数来解决冲突事件发生,然后用ETPN来对CSMA/CD进行建模并对模型进行分析。在较复杂的系统中,ETPN能够反映并解决事件的冲突,具有灵活、直观、可扩展性好等优点。     

基于流体随机Petri网的工作流响应时间计算

提出了一个基于流体随机Petri网的工作流响应时间评价方法，该方法的主要优点是工作流任务的处理时间可取任意的概率分布，因此与已有的方法相比具有更高的准确性．以工作流的随机工作流网模型为起点，首先讨论了利用随机工作流网建模需解决的诸如时间变迁冲突等相关问题，举例说明了如何将随机工作流网模型转化为流体随机Petri网模型，最后给出了该种流体随机Petri网模型的稳态方程，说明工作流的平均响应时间可由对流体随机Petri网模型稳态方程的求解得到．另外指出了目前应用该方法存在的困难及将来可能的研究方向．     

基于Petri网的ECA规则建模

在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型. 对如何用Petri网表示具有复合事件ECA规则进行了专门分析. 提出了扩展的Petri网系统,并综合考虑ECA规则自身特性,建立了ECA规则系统Petri网模型,比较全面地反映了ECA规则系统特性. 通过构建可达树和变迁序列,可以较为清楚地了解ECA规则系统及其行为特性,便于对规则系统进行合理性验证,以帮助系统管理员对其进行分析和管理.     

弱引发三态加时变迁Petri网及其在并发系统中应用

提出的弱引发三态加时变迁Ｐｅｔｒｉ网能有效地建模分析一类具确定性时间与冲突结构并发系统;在并发意义下研究其动态行为及其特性,并把有关结果用于解决实时并发系统的逻辑特性验证及有限资源调度的优化问题     

基于Petri网模型的顺序离散事件机电系统在线Bayes故障诊断方法

提出了顺序离散事件机电系统的概念,并基于Petri网理论,研究了赋时简单串联顺序事件Petri网对该类系统建模.将变迁过程的时间度量看成统计量,提出一种Bayes试验鉴定方法,用于对统计量方差差异进行显著性检验,并通过结合Bayes方法与先验知识对系统进行故障诊断.实验结果表明,该故障诊断算法能够充分将经验知识和实时监测数据相结合,可以较准确地检测某物料自动输送系统的故障.     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。