基于赋色Petri网的离散事件系统矩阵模型与仿真

一种新的离散事件系统（DES）矩阵状态方程和Petri网的标识转移方程相结合的矩阵模型给出了完整的DES动态描述。本文介绍了一种可动态修正Petri网关联矩阵系数的矩阵模型仿真框架，解决了路径选择和调度决策问题，使这种模型可以推广到用基于赋色Petri网描述的DES仿真。     

高级Petri网：基于ISO/IEC15909的理解

ISO/IEC15909从构成角度给出了高级Petri网的定义,对其的理解分为结点、扩展、关联矩阵和初始标识四个层次。高级Petri网的本质特征是扩展域D和扩展映射Type,二者的不同取值衍生了着色Petri网、谓词/变迁网和时间Petri网等类型。高级Petri网实际上是＂高层Petri网＂。高级Petri网图形是对库所/变迁网图形的折叠,具体方法是减少图元数量而增加图元信息。高级Petri网图形的结构可概括为＂三类图元及其注释＂。     

物流系统三色Petri网建模与分析

针对物流系统的一些特点 ,提出了一种三色 Petri网 .给出了三色 Petri网的基本定义 ,分析了该种 Petri网的性质及建模方法 .基于三色 Petri网对自动分拣系统中的物流控制进行了建模 ,并作了一致性、活性、有界性和安全性分析 .实例建模与分析表明了三色 Petri网的有效性 .     

基于PETRI网递阶监控器的间歇过程故障诊断

基于混杂系统理论的Petri网递阶监控器设计方法,对间歇过程的故障传播和诊断进行了研究,建立了具有两层递阶结构的Petri网故障诊断系统,上层采用赋时Petri网协调间歇时序操作步骤,下层采用混合模糊Petri网进行故障监测和诊断.针对一个实验级应用例子建立了故障传播和诊断的混合模糊Petri网模型,实验和仿真结果表明了方案的可行性和有效性.     

卫星军事应用系统支援常规导弹作战Petri网建模

针对卫星军事应用系统支援常规导弹作战的复杂性,构建了作战过程的Petri网模型.该模型利用Petri网能够描述同步、并发和冲突等特性,剖析支援作战过程,提炼过程中的事件和条件,确定转移发生的前条件和后条件.最后,通过对模型的分析,可以看到支援作战流程能够顺利进行,以及Petri网中不存在死锁.此结果证明了模型的正确性.     

某类有界时序Petri网的原型网形式的转化

时序Petri网是对原型Petri网模型(称为时序Petri网的基网)加上时序逻辑公式进行的扩充.本文初步讨论了时序Petri网的语言表达能力,得出的结论是这种扩充不弱于带抑止弧的Petri网的表达能力,但控制型有界时序Petri网的描述能力则同有界原型Petri网是等同的.文中给出了把控制型有界时序Petri网转化为有界原型Petri网的算法,并通过实例描述了转化过程.     

EDI环境下集装箱运输系统组织结构的Petri网模型表示及仿真

利用扩充Petri网的基本理论,对EDI环境下的集装箱运输系统组织结构的Petri网语义进行了描述,并结合集装箱出口流程实施了系统仿真.结果表明,上述研究思路和所采取的技术手段是可行的.同时还发现,在具体运输过程中,以供应链方式形成的动态联盟的系统效率最高.     

流程仿真的多层次PERT-Petri网模型

复杂流程中的工序持续时间有着很强的随机性,并存在资源约束问题。首先分析了常见的PERT和Petri网在流程仿真中的应用特点,提出了多层次PERT Petri网模型,给出了该模型的建模过程和递归仿真算法。该模型在上下层次分别采用PERT和Petri网对流程进行描述,充分利用了PERT直观简便的特点和Petri网在随机性和资源约束上的描述能力,有效地解决了复杂流程的建模与仿真问题。最后给出了一个例子,表明该模型更容易理解和构造。     

基于Petri网的行为建模在舰艇CGF中的应用研究

给出行为建模的一种方法,即基于Petri网的行为建模。首先介绍了Petri网的建模原理,并给出了Petri网实现CGF行为建模的一般过程,对Petri网行为模型的框架、实现方法和具体算法进行阐述。结合水面舰艇的作战特点,通过Petri网实现水面舰艇CGF的行为建模,并以水面舰艇机动CGF为例,详细描述其应用过程,该方法在实际应用中表现出良好的作用。     

复线列车运行调度的层次Petri模型及仿真

在对列车运行调度问题进行分析的基础上,通过综合受控Petri网、颜色Petri网和赋时Petri网的优势,提出一种混合Petri网模型并给出形式化描述和运行规则;采用混合Petri网建立包含设备故障和设备维修两种异常情况的列车运行调度的层次Petri网模型。通过对模型的分析,给出模型具有的两个性质,指出列车运行调度的本质是通过控制可控事件的发生时间来恢复列车的正常运行秩序。最后,以一个具有6个车站和5个区间的调度区段为例,采用CPN TOOLS仿真工具对模型进行了仿真。仿真结果表明了模型的有效性以及设备故障发生概率和列车运行可调整之间的关系。     

基于有色petri网的多媒体流同步控制

有色Petri网是一种高级网系统,可以为系统建模提供强有力地支持,既可以反映静态结构,又可以描述动态过程。本文针对多媒体的同步控制问题,以信宿端的缓存控制和时间戳为控制策略,建立了变迁时化有色Petri网模型,并对该模型进行了基于Simulink的实验仿真,实验结果验证了该模型的有效性。     

基于分解的结构复杂Petri网的语言行为描述

Petri网语言是用于系统行为分析的强有力手段，然而给定一个Petri网尤其是结构复杂的网系统。很难直接求解其语言表达式．针对这个问题，通过定义Petri网的库所指标函数，把一个结构复杂的网系统分解成结构简单的子网，即子网中每个变迁的输入库所和输出库所的数目均小于等于1，并分析了这些子网系统的语言特性．利用Petri网语言同步交运算，给出了一种求取结构复杂Petri网的语言表达式的方法，从而为利用网语言分析系统的行为提供了理论依据和方法。     

一类模糊Petri网的动态特性及应用

提出一类新的模糊Petri网,讨论了其可达性问题,其特点是一方面保持适度的不确定性,以便于分析,另一方面又可作为许多实际问题的模型.最后给出求解知识表示与推理的问题的例子.     

基于着色Petri网的卫星军事应用系统建模

卫星军事应用系统是一个复杂的军事信息系统,具有同步、并发、冲突等特点。应用着色Petri网技术对其进行建模,符合卫星军事应用系统的特点,能够有效分析系统的静态结构和动态行为。介绍了着色Petri网的基本概念,剖析了卫星军事应用系统的作战过程,建立了系统的CPN模型,最后针对模型进行了性能分析。     

跨组织工作流模型的形式化描述及分析

Petri网是当前工作流建模中广泛采用的工具之一。跨组织工作流致力于跨越组织界限的业务重组。针对多个组织间复杂的交互过程，提出基于着色Petri网的跨组织工作流模型的形式化描述，并对着色跨组织工作流及其合理性(Soundness)做了形式化定义和分析，最后举例说明。另外．一些观点和结论对跨组织工作流建模中其它扩展类型也有所启示。     

正规表达式与恰当终结的标准Petri网

已知一个语言表达式或语言的集合,如何构造产生该语言的Pelri网模型是Petri网语言理论中的一个重要问题.为解决这个问题,引入一种称为恰当终结的标准Petri网模型.研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算"."、选择(并)运算" "、kleene闭包运算"·"、并行运算"//"的性质,证明了恰当终结的标准Petri网语言与正规语言的等价性,并给出了正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法.作为对传统形式语言的有益补充,还给出了带并发算子的正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法.     

基于结构化的C3I体系结构着色Petri网建模方法

结构化分析是构筑C3 I系统体系结构的基本方法 ,着色Petri网模型对于C3 I系统体系结构的功能和性能评价具有重要价值。探讨基于C3 I系统体系结构的结构化分析结果建立着色Petri网模型的方法具有重要意义。简要论述了C3 I系统体系结构的结构化开发方法。提出了一种根据C3 I系统功能体系结构的结构化分析模型建立着色Petri网模型的方法 ,应用实例表明了该方法的可行性和实用性。     

网格计算资源调度方案及其Petri网建模与分析

通过对现有网格计算资源调度方案的分析,提出了网格计算资源的三层调度方案,该方案与已有的方案相比,更能体现网格资源的特点。利用Petri网这一具有描述并发、异步、动态等事件能力的图形与数学工具,对所提出的调度方案进行了模拟与分析。为不同层次的调度者构造了不同的扩展有色时延Petri网模型,并利用Petri网的共享合成技术得到整个系统的Petri网模型。同时给出了资源调度所对应的Petri网的可达任务图的概念,利用可达任务图,分析了诸如吞吐量、负载平衡、调度时间等资源调度的一些重要特性。     

航空电子综合化数据传输网络建模方法研究

采用Petri网理论对航空电子综合化数据传输网络系统的建模方法进行研究。通过对研究对象的基本假设、研究对象与Petri网理论之间的关系,给出了航空电子综合化数据传输网络系统的Petri网模型     

基于UML的C3I体系结构着色Petri网建模方法

着色Petri网模型对于C3I系统体系结构的功能和性能评价具有重要意义。面向对象分析是构筑C3I系统体系结构的基本方法。论述了C3I系统体系结构的基于UML的面向对象的开发方法。给出了一种根据C3I系统逻辑体系结构的UML模型建立着色Petri网模型的方法。应用实例表明了该方法的可行性和实用性。