一类高级Petri网:XML代数网

综合运用Petri网和XML代数的理论和方法,提出XML代数网.通过对代数高级网在XML代数下的解释和赋值,给出了XML代数网的形式化定义,从而建立了XML代数网的规范化描述.哲学家问题的实例研究展示了XML代数网在动态系统建模和仿真中的应用.研究的结果表明XML代数网作为一种工具对XML应用领域的建模和分析具有实际意义.     

有界Petri网的进程演算表达

为了进一步探讨Petri网与进程演算的关系,给出了一种使用进程演算模型(CCS)表示有界Petri网的方法.对于任意的有界Place/Transition网,可以用该方法构建一个与之相对应的有限进程.并且证明了所得进程与原网之间满足操作一致性和观察一致性.同时,证明了该方法在网的标号互模拟上满足完全抽象性.     

一种新型的混合Petri网:步混合Petri网

Petri网是一种图形的和数学的建模工具,适合于许多系统的建模．为了提高Petri网建模能力引入运行步概念,并在连续Petri网的基础上提出一种新型混合Petri网——步混合Petri网,分析该网特点及其运行规则,并用该网分别对数字型PID控制器和模拟型PID控制器进行建模．     

一类混杂系统Petri网控制器的设计

在一类混杂控制系统中提出了禁止状态控制问题，给出了能保证系统状态不进入禁止状态的Ｐｅｔｒｉ网监控器的综合方法．通过示例说明了问题的形成与控制器综合方法的有效性．     

一种扩展式动态环境演算范型的Petri网描述

为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性,提出了一种扩展式动态环境演算范型的Petri网描述(PND).首先,给出基本演算实体的Petri网表示,用Petri网的顺序行为理论和并发行为理论中的变迁来表达任意动作,用库所来表达任意动作前后的各种环境状态及其变量.其次,给出演算实体的各操作语义关系的Petri网表示,并引入弧权重来刻画动作与其前后相关的环境、状态的相互作用关系.最后,引入了Petri网的合成理论,用简单Petri网合成法来构造动态复杂环境的模型.采用染色Petri网工具进行仿真,结果表明PND具有正确的描述语义,从而进一步为扩展式动态环境演算范型的有效性提供了有力的论证.     

柔性制造系统Petri网模型中的一类共享资源

揭示了柔性制造系统(flexible manufacturing systems,简称FMS)中死锁发生的内在机制,选择形式化的系统建模工具Petri网为手段.在FMS的Petri网模型S3PR网中,同一加工过程内的不同加工操作所共享的资源,是一类特殊资源.同独立加工过程的共享资源一样,同一加工过程内的不同加工操作所共享的资源也可能导致系统发生死锁.因此,将这类资源定义为加工过程内共享资源.在FMS的死锁控制中,需要将加工过程内共享资源的影响因素考虑进来.     

Petri网的对偶运算及性质

给出了对偶Petri网的加法、笛卡尔积、并运算及有关性质 ,得到了对偶Petri网运算的一些结果     

模糊Petri网的活性分析

在基本Petri网理论基础上,基于模糊推理,对无环模糊Petri网的活性进行了讨论．给出了其关于活性的分级定义以及一种有效的活性判定方法,并对该方法的正确性进行了证明,最后通过一个算例验证了该活性判定方法的有效性.     

高级Petri网及在C3I系统描述中的应用

C3I系统对军队的重要性越来越受到军事部门的重视 ,系统的决策模型又是整个系统性能好坏的关键 .本文介绍了高级Petri网 ,讨论了Petri网在C3I系统建模、性能分析、分布式战术决策的CPN模型及其系统设计中的应用     

基于改进的Petri网的虚拟驾驶系统规则的实现

逼真地再现现实世界是虚拟环境最具吸引力的特征,我们对它的兴趣也正是由于它是一个可用于预演环境的迷人的工具．逼真再现中最困难的地方在于行为规则的反映和实现．本文尝试用改进的Ｐｅｔｒｉ网来表达和实现规则,并把这一结果应用于虚拟驾驶系统中规则的处理,得到了较为满意的结果．     

一类模糊混合Petri网的交通信号灯的实时控制

针对固定周期的交通信号灯浪费道路资源的问题,提出一种模糊混合Petri网用于交通信号灯实时控制的建模方法。该模型结合本相位方向的排队长度和路口的车流量对本相位绿灯时长实时控制,再结合其他相位红灯时长和其他相位的排队长度,实时控制相序的变化。仿真分析表明,基于模糊混合Petri网对信号灯实时控制可最大程度降低车辆的停车次数。     

规则Petri网的推理策略的研究

本讨论了规则Petri网的可交换性，给出了规则Petri网的三种推理策略以及并行推理和冲突仲裁的推理方法。     

基于Petri网的ACDB中规则终止性分析

介绍了基于TG和AG的主动数据库规则分析方法，提出了基于Petri网用EG(execite graph）分析规则的方法。     

对偶Petri网的运算及性能分析

给出了对偶Ｐｅｔｒｉ网的加法,笛卡尔积,并运算及有关性质,得到了对偶Ｐｅｔｒｉ网运算具有结构性质的条件     

基于时间-有色Petri网的电梯系统的建模与分析

根据时间Petri网和有色Petri网的知识，提出了基于时间-有色Petri网（TCPN）的电梯运行模型。依据此模型将电梯在每层的运行情况分类说明。电梯如何运行是由控制命令统一调度，控制命令是由与电梯运行状态相应的颜色集组成。最后举例说明此模型可在单台电梯控制系统和电梯群控系统中应用。     

模糊Petri网及其可达性的必要性条件

给出了模糊Petri网的形式化定义及其变迁规则，并以模糊Petri网的控制矩阵与关联矩阵为工具，讨论了模糊Petri网的性的必要性条件。     

利用Petri网模拟基于属性的不确定性推理

本文主要介绍了如何使用Petri网来实现基于属性的不确定推理。并且在一般Petri网的基础上进行改进，分别使用了模糊Petri网和模糊着色Petri网来进行实现。并且用一个具体的例子显示了Petri网的运行过程。     

基于Petri网的可视化数据挖掘研究

在数据挖掘中通过有效的可视化技术,可以使用户快速高效地与大量数据打交道,以发现其中隐藏的特征、关系、模式和趋势等,增加数据的针对性和结果的可信度.本文主要给出了一种基于Petri网的,对泛化关联规则挖掘结果进行可视化表示的模型.     

基于Petri网的皮带机控制模型分析

文章以Petri网理论为基础,构建了煤矿井下皮带机顺序控制系统的网络模型,并根据皮带机控制系统的设计要求,分析了控制模型的组织结构和行为特征。利用该模型对皮带机控制系统的设计进行了探讨,并得到符合控制要求的逻辑规则表达式。     

一类用于网变换的Petri网代数系统

针对现有的多数规则置换式与代数运算式网变换方法存在内容依赖、执行效率低与通用性差的不足,以代数结构理论为基础提出一种用于更一般性网变换的新型接口依赖的网运算代数系统,包括Petri网的基本节点与块的融合与衍生运算,扩展的库所与变迁接口网的并加、串加、减运算以及块接口网的合成与分解运算.并分析了网代数运算的封闭性、可结合性、可交换性等代数性质,然后将网代数应用于解决包含置换与分解过程的复合网变换中,显示了网代数的有效性.最后,分析总结了Petri网代数相对于现有的置换式与代数运算式网变换途径的优势.