基于着色Petri网的组织知识流建模研究

为了研究组织知识生命周期中,隐性知识流和显性知识流的异步并发过程以及知识流的分布和流动状况,文中从知识流与着色Petri网基本概念出发,采用着色Petri网以不同颜色的托肯表示不同类型的知识,构建了基于组织知识生命周期的知识流模型。运用CPN Tools软件对模型进行仿真分析,重点对Petri网中各节点的有界性和活性进行分析。研究得出模型中各库所都有界,同时存在一个死标识,并不存在死变迁,从而便于组织更清晰地获知不同类型知识的分布与流动状况,为提高组织知识流管理效率提供了理论基础。     

基于Petri网的统一知识表示模型

本文讨论知识表示的Ｐｅｔｒｉ网模型。将多种知识分类表示，对于开发具有较宽领域知识的系统具有重要意义。本文从统一的观点出发，在给出了Ｐｅｔｒｉ网的代数规范说明后，将三种主要的知识表示方法分别与Ｐｅｔｒｉ网模型之间建立映射系统，这三种知识表示方法为：逻辑表示法，语义网络和产生式系统。     

基于Petri网的网络攻击流模型研究

针对网络攻击的智能组织实施问题,提出一种攻击流的概念,选用Petri网作为工具,对网络攻击流进行建模。在此基础上,对 3种基本网络攻击流模型进行分析,并结合IP欺骗攻击实例,分析其在IP欺骗攻击中的具体应用及其实现方式。实验结果表明,该模型既利于攻击者构建网络攻击方案,又能被计算机解析并组织实施网络攻击。     

Petri网用于表示知识

本文研究了各种级别Petri网与模态逻辑之间的关系.Petri网的Enlogy是研究这些关系的基础.状况(case)和可达(Reachability)概念已经成功地用于以条件/事件(Condition/Event,简称C/E)网作知识表示.本文引用上述两个概念,使位置/变迁(Place/Transition,简称P/T)网和高级Petri网(High Level Petri Net,简称HLPN)可作知识表示.为了增强以 HLPN网作知识表示的能力,我们引用了状况变量和等价状况变量的概念.文中我们还以例子说明这些方法是可用的和有效的.     

感觉神经Petri网模型及知识表示

以普通Petri网和模糊Petri网为基础,给出了感觉神经Petri网的模型和基本定义,并讨论了其在知识表示中的应用问题。     

模糊Petri网及知识表示

在建造专家系统中虽然有很多种知识表示方法，但都有不尽人意的地方，本文试图用一种新的方法－Ｐｅｔｒｉ网模型来表示知识。本文给出了Ｆｕｚｚｚｙ Ｐｅｔｒｉ网和广义Ｆｕｚｚｙ Ｐｅｔｒｉ网两种模型，并给出了相应的推理算法，一旦专家知识用Ｐｅｔｒｉ网表示后，根据Ｐｅｔｒｉ网固有的特性，我们就能处理专家系统中并行推理、无回溯推理，反向推理等问题。     

混合Petri网的流体随机Petri网模型

混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟.分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析方法对系统进行多角度的分析.提出了一阶混合Petri网转换成流体随机Petri网的形式化方法及转换后变迁合并的方法,并给出了转换和合并方法的正确性证明,最后结合实例简要阐述了这两种方法的实现过程.     

基于信息熵Petri网模型的知识发现研究

为描述命题和规则的可信度,定义了命题和规则的可信度信息熵。从熵的角度研究产生式规则中的不确定性推理,应用Petri网和可信度信息熵,建立了一类新的Information Entropy Petri网模型(IEPN),介绍了不确定性知识表示和推理步骤。同时分析IEPN推理对知识发现(KDD)的指导意义,并给出了IEPN推理过程及知识发现(KDK)方法。     

基于Petri网的公文管理工作流模型

该文针对现有的工作流模型在实际应用中有时难以全面描述整个应用系统这一问题,结合公文管理工作流的实际应用环境,提出了一个相对完整的基于Petri网的工作流模型,并给出了该模型的正确性验证。     

基于流随机Petri网模型的可重入生产线稳定性分析

可重入生产线是作为芯片制造生产线模型被研究的，其特点是具有“可重入性”。该文基于流随机Petri网(Fluid Stochastic Petri Net,FSPN)对可重入生产线进行建模，并得到了一些相关的稳定性结论。     

Petri网的工作流模型建模研究

实现工作流技术的关键环节在于工作流的概念模型,而其中的过程建模又是构建工作流管理系统的基础,因此,对建立工作流模型的研究和应用比较多。近几年,随着业务流程建模、工作流概念的出现以及Petri网技术的发展,Petri网也被用于工作流模型的建立。该文在介绍工作流模型和Petri网基本概念的基础上,介绍工作流的四种基本流程结构,并以工作流的四种基本流程结构为出发点,给出了如何把它们映射成符合工作流网定义的模型的一种方法。     

非确定Petri网

根据描述工作流模型的实际应用背景，提出了非确定变迁，非确定Petri网等概念，并定义了Petri网的等价关系，证明了在这种等价关系的意义下，非确定Petri网与传统的确定Perti网的等价性。     

基于Petri网的工作流建模

Petri网是计算机异步成分之间进行通信的理论基础。Petri网的应用涉及计算机学科的各个领城。文中运用Petri网工具来对工作流技术进行了详细的分析与描述，并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向，最后，文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型。     

基于时间Petri网的工作流建模

随着工作流管理的发展,人们提出了很多扩展Petri网概念用于工作流建模。描述工作流中的资源、资源条件以及任务与资源条件之间的关系是一件很复杂的事情。而现有的用于描述工作流的Petri网在这方面,并不令人满意。该文特别强调资源的概念,在时间Petri网的基础上提出了一种新Petri网———资源条件/任务网(ResourceCondition/Tasknet,简称RC/TN),利用RC/TN网来进行工作流建模,描述工作流的执行过程。并将该工作流建模方法应用于OA流程的描述中。     

报文审批系统的赋时着色PN建模

报文审批系统(RAS)是一种典型的离散事件动态系统,适合用Petri网技术对其进行分析。考虑到传统Petri网具有一些固有的缺陷,文中基于高级Petri网———赋时着色Petri网(TCP-Net)理论,对RAS进行了分析,构造了RAS的赋时着色Petri网模型,给出了颜色转移函数。并且为了使用户能直观地了解当前报文的审批情况,还给出了流程跟踪算法。最终结果可以看出与传统Petri网模型相比,TCP-Net模型的复杂度已大大降低,并且结构简单清晰。     

基于GSPN的网络系统动态可靠性建模方法

针对传统可靠性建模方法难以描述和评价网络系统动态可靠性这一难题,提出一种基于广义随机Petri网(generalized sto-chastic petri net,GSPN)的网络系统动态可靠性建模方法,在讨论GSPN的形式化定义和建立GSPN建模要素与可靠性模型参数之间对应关系的基础上,详细描述了网络系统动态可靠性建模的过程;最后以某型车电系统为例,通过仿真实验得到了系统可用度指标的动态变化曲线,验证了所提方法的有效性。     

基于Petri网的装备战场抢修系统建模研究

为了提高装备战场抢修系统的决策效率和决策科学性,以信息化条件下战场环境和我军装备维修现状为基础,分析了我军装备战场维修能力和维修需求。利用petri网进行装备抢修系统建模的特有优势,建立了装备战场抢修决策过程的peril网模型,模型主要包括装备战场抢修决策流程、装备损伤评估和野战维修能力评估。最后用CPN—Tools工具对一个实例进行仿真,应用模型节约了维修时间,提高了资源利用率,验证了模型实用性和有效性。     

Petri网在通信网络仿真建模中的应用

计算机仿真是通信网络技术研究中的一种非常有效的分析工具,而Petri网是一种应用非常广泛的建模工具,为了设计和开发通用的通信网络仿真系统,该文将Petri网技术应用于仿真建模过程中,所建模型简洁,直观且含义准确。     

基于Petri网的UML形式化建模应用分析

UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点。Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能。结合一个图录编纂应用系统,使用基于Petri网的建模方法,对该系统的UML状态图和序列图进行了形式化分析。排除UML模型中的缺陷,在软件设计阶段发现错误,降低软件开发的花销,最终达到提高了软件的质量的目的。