Petri网的同步合成运算及其语言求解

文章拓展了Petri网同步合成运算的概念，并讨论了拓展后的同步合成运算满足的语言性质。证明了任意Petri网∑都可由一组S-网通过同步合成得到，从而可由这些S-网来求取∑的语言，最后给出了结构复杂的Petri网的语言的求解算法。     

Petri网与二元文法的语言等价性

为了用一种类似Chomsky文法体系中的文法描述Petri网语言,研究了二元文法与Petri网语言之间的关系,给出了将二元文法等价转化为Petri网的方法和将Petri网等价转化为二元文法的方法,从而,证明了二元文法产生的语言等价于Petri网语言.     

生产者-消费者系统的建模与行为分析方法研究

生产者一消费者系统是系统工程中的一个典型系统。讨论了基于Petri网的生产者一消费者系统建模．借助基于库所指标的Petri网分解方法来分析生产者一消费者的系统行为，利用Petri网语言的同步混排运算给出了生产者一消费者系统的行为描述，对基于Petri网的系统分析提供了有效的方法。     

基于Petri网的构件组装运算及其性质

文章提出了构件的Petri网模型-构件网,并给出了构件组装的运算;定义了构件组装表达式,给出了构件组装的形式化描述,讨论了构件组装运算的性质和特点,从而提供了对组装构件进行自动分析和验证的方法。     

基于CPLD的基本Petri网系统的硬件实现

Petri网已经逐渐成为异步并发现象建模的重要工具 ,Petri网的硬件实现将为网系统性能分析以及并行控制器的设计提供一种有效的途径。首先介绍了 Petri网 C/ E系统的特点 ,然后讨论了硬件实现的基本结构模块。最后以哲学家晚餐为例子 ,用 VHDL 语言对结构进行了描述 ,使用了 AL TERA公司的 CPL D集成开发工具 Max Plus ,并给出了软件仿真的结果     

有界Petri网等价性的判定算法

Petri网语言是系统行为分析的一种重要工具,为了分析有界Petri网的行为等价,借助于有限自动机的等价性问题和算法,研究了有界Petri网的等价性问题和算法.定义了带标注Petri网语言等价性,证明了带标注的有界Petri网到有限自动机的等价转化,给出了判定有界Petri网的等价性算法,为模拟系统的性能比较提供了处理方法.     

基于Petri网语言的程序设计流程

本文采用了一种Petri网语言的同步合成的原理,提出了计算机复杂程序设计流程的一种新的设计思想。并且利用Petri网语言给出了子系统合成时的死锁分析和系统设计的效率分析以及整个设计流程。     

TTA流水线Petri网模型

Petri网作为一种系统建模工具,特别适合描述系统的控制流、并发和异步特性,与状态机行为模型相比更具优势.论文探讨了TTA流水线Petri网建模方法,给出了P/T模型和CPN模型,并用PNML语言进行描述.     

基于微分Petri网的业务流程模块适配方法

为适应业务流程多功能及动态变化的需求，用模块替换的方法对业务流程建模是解决问题的快速有效途径之一.以开放Petri网与微分Petri网为基础，提出了微分控制Petri网和微分数据Petri网的概念，分别从语义学角度利用微分Petri网的演化表达式对模型的控制流网与数据流网进行活性检测，利用微分Petri网对替换模块及其离散部分与连续部分进行结构稳定性分析，以达到业务流程模块适配分析.理论分析结果表明，所建立的微分表达式能够反映模型活性与稳定性，模块适配效果较好.最后基于平台数据进行仿真分析，实验结果表明本文所提的方法有一定的可行性.     

模糊Petri网的推理式算法在雷达电子战装备效能评估中的应用

基于模糊Petri网，研究了约束条件下的推理算法，将模糊Petri网与矩阵运算相结合．给出了雷达电子战装备效能评估的形式化推理算法。推理过程采用矩阵运算实现，并充分利用了模糊Petri网的并行处理能力．最后利用MATLAB语言对仿真实例进行分析计算，结果表明孩方法简单、快速和有效．不仅能评估单台电子战装备的作战效能，还能对同类型的多台装备进行作战效能的优劣排序。     

并发表达式与安全标号Petri网

本文定义了并发表达式，指出其表达能力与安全标号Ｐｅｔｒｉ网是等价的。     

Petri网理论在指挥自动化系统建模上的应用

在Petri网理论基础上分析如何用Petri网理论描述指挥自动化系统 ,给出了相应实例     

一种基于时间权重的 Petri Net 工作流过程建模

为了研究 Petri Net 工作流模型的时间性能,首先给出了一种基于时间权重的工作流过程模型,此模型在变迁中引入时间,然后对此模型进行了时间性能分析,最后得出结论此模型在工作流的时间性能分析上是可行的.     

基于Petri网描述编队网络信息的异步传输模式

根据海上作战需要提出编队信息网拓扑结构设想叙述ATM技术在编队网络中的应用及其改进方式 ,用Petri网的方法描述编队网络信息的异步传输模式。     

基于Petri网的作业网络模型的正确性研究

文章以结构化的作业网络（JNW）为模型，在描述作业控制流中的基本路由结构：顺序、循环、选择和并行的基础上，将Petri网引入到JNW的建模中，并用Petri网的可达图来检验作业网络模型的正确性。     

基于层次实时有色Petri网的实时系统建模与分析方法研究

Petri网是一种基于图形进行模拟和分析的数学工具,能够描述系统的异步和并发行为,但是现有高级Petri网不能对嵌入式实时系统进行完整的模拟与实时性分析。该文首先通过扩展有色Petri网提出了层次实时有色Petri网模型,然后描述了嵌入式实时系统的建模和实时性分析方法。最后,将该文提出的方法应用于硬实时系统列车通信网络MVB总线控制器的建模和实时性分析过程,仿真和分析结果表明,该方法能够满足列车通信网络系统设计对MVB总线控制器的功能验证和实时性分析需求。     

军用网格体系结构及Petri Net模型

网格体系结构是网格计算的关键技术之一.针对军事应用需求,提出了一种面向军事应用的网格体系结构,讨论了各层次组成及功能,并研究了网格体系结构的Petri Net描述方法.与经典网格体系结构相比,提出的体系结构有助于提高网格系统的好用性、透明性、自治性、模块性、一致性等.     

含有非马尔可夫过程的排队Petri网模型和性能分析

本文提出了一种新的高级性能模型技术,称作NM-QPN(含有非马尔可夫过程的排队Petri网,Queuing Petri Net including Non-Markovian processes),它综合了排队网,随机Petri网以及模拟求解各自的特点.NM-QPN以模拟模型为总体框架,发挥排队网和随机Petri网各自的优势对系统进行建模.提出了一套完整的NM-QPN模型求解方案,通过流等价方法将模型中的马尔可夫过程进行化简,这样可以大大减少模型的状态,最后再用模拟求解方法求解剩下的非马尔可夫过程.     

基于Petri网的入侵检测模型研究

随着计算机网络的广泛应用,非法的入侵与攻击行为不断发生,严重威胁着网络信息的安全,对入侵和攻击进行检测与防范已经成为刻不容缓的重要课题。讲述了Petri网(PN)和有色Petri网(CPN),通过将入侵分为“存在”,“顺序”,“偏序”三种类型,描述入侵检测系统(IDS)中的攻击模式用Petri网实现,并且给出了使用有色Petri网描述攻击模式。