基于Petri网的ECA规则集终止性分析

对于ECA(event-condition-action)规则集,由于其行为特性较为复杂,终止性分析比较困难.在Petri网理论的基础上,提出了一种扩展Petri网系统,建立了ECA规则集模型,能够较好地表示ECA规则的行为特性;利用Petri网分析方法,对ECA规则行为进行了分析,并利用可达图和T_不变量方法对ECA规则集的终止性进行了分析.经过实例验证,该方法效果良好.     

基于R-OPN的集装箱码头物流系统建模与分析

针对集装箱码头物流系统(Container Terminal Logistics System,CTLS)建模存在的问题,通过分析CTLS的结构和行为特点,提出了基于规则的面向对象Petri网(Rule-based Object-oriented Petri Net,R-OPN)的建模方法.该方法在对象子网和门变迁中融入决策规则,建立了CTLS系统动态行为和调度控制模型,简洁明了地描述了系统状态和决策规则之间的关系.在此模型的基础上,分析了模型的结构特性(死锁,冲突等),并提出了解决冲突的决策规则,为CTLS的设计、分析、调度与仿真提供了有效的工具.     

多卫星—地面站系统的Petri网模型研究

提出一种新的扩展Petri网模型——时间约束着色Petri网,并对其进行了研究。然后,在对多卫星——地面站系统中的服务类型、资源类型及性能、设备调度规则等进行分析的基础上,建立了多卫星——地面站设备调度的时间约束着色Petri网模型,为整个星地系统的动态性能分析、设备配置方案优化提供了方法途径。     

基于Petri网的MES系统形式化建模

针对一般车间执行制造系统结构复杂性高、重构能力弱、性能分析困难等问题,以水产品加工MES系统为例,通过Petri网对其进行形式化分析与建模.对水产加工的流程进行逐级分解、细化,根据功能将整个系统划分成3个模块,基于Petri网分别对3个模块进行集成建模.最后根据Petri网理论知识,对MES的Petri网模型复杂度与结点特性进行分析和研究,建立一种行业通用的、结构简单易扩展、灵活性强的Petri网模型.     

ASBS适应行为稳定性分析

研究了基于服务的自适应软件系统的适应策略构建中适应行为的稳定性分析问题.主要采用了基于反射Petri网模型的分析方法,在反射Petri网模型中系统的业务行为与适应行为在不同的层次分离建模,适应行为模型相对业务行为模型透明.结合系统的反射Petri网模型提出了适应行为稳定性的具体定义,给出了适应策略中适应规则的建模方法以及应用反射Petri网模型对系统适应行为进行稳定性验证的方法,并通过一个实例对方法的可行性以及有效性进行了说明.     

基于CRPN模型的复杂系统故障诊断

由于复杂系统的结构和运行环境复杂,传统方法无法对其进行故障诊断.文中将基于案例的推理方法和Petri网理论引入到复杂系统的故障诊断中,建立了基于案例推理和Petri网的CRPN(Case-based Reasoning Petri Nets)模型,研究了该模型的变迁规则和案例特征等关键技术.利用两层CRPN模型,可有效地解决已有复杂系统故障诊断方法中存在的模型难以建立、推理过程模糊等问题.最后以飞机的某系统为例,探讨了基于CRPN模型的故障诊断过程,结果表明文中方法是有效的.     

有效协作控制的Petri网模型和分析

本文利用Petri网对协作系统有效控制进行了研究,建立了协作Petri网和协作有色Petri网模型,对Petri网的运行情况进行了分析与探讨,并对协作Petri网模型的性质进行了分析.     

基于着色Petri网理论的通信装备维修系统建模

讨论了一种基于着色Petri网理论建立通信装备第二级维修子系统模型的方法。该方法通过运用着色Petri网理论的优势对原有的通信装备第二级维修子系统模型进行改造，克服了以往用普通Petri网建模的不足，细化了其系统模型的中间操作过程，有利于模型分析和仿真实现。     

基于规则Petri网知识的表达与提纯

本提出一种新型Petri网－规则Petri网RPN－Rule Petri Net)，对产生式知识系统进行有效的表达和提纯，并给出了对知识的冗余、矛盾等问题进行了分析、检测和消除的方法。     

供需网的IDEF0模型构建及MIFPN模型转换

将IDEF0模型与Petri网相结合,对多信息流系统进行功能描述和动态行为关系分析,提出了多信息流Petri网(MIFPN)的定义,给出了IDEF0至MIFPN转换的规则方法.在此基础上实现对多功能开放型企业供需网系统的功能分析与设计.     

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

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

基于模糊Petri网络的分布式知识表示方法

从模糊产生式系统出发，引入模糊Ｐｅｔｒｉ网络（ＦＰＮ）的定义，进而给出了模糊产生式规则的各类型的ＦＰＮ表示模型．在此基础上提出了一种基于ＦＰＮ的交互式推理方法．该方法为模糊知识的表示提供了一种有效方法．     

Incorporating Fuzzy Inference in Active Database Rules

Active databases react to stimulation, or event from inside or outside the system without user or application interference through Events Conditions Actions (ECA) rules (triggers). ECA rule is defined as: ON event IF condition THEN action, which means when an event happens, if the condition is satisfied then the corresponding action is executed. The nature of ECA rule makes it an appropriate means to model dynamic character of systems, as gained much studies during recent years. Traditional ECA rule is crisp, which means their events, condition(s) and action(s) are accurate. As indicate that ECA rules can only represent precise knowledge. But knowledge is usually fuzzy in engineering. A concept of fuzzy ECA rules characterized with fuzzy event, fuzzy condition and fuzzy action is proposed in this article. The realization avenues of fuzzy triggers are discussed. The work we have done blazes a way in representing approximate syntax in active database application systems. At last a case of " overheating al     

基于模糊彩色Petri网的知识表示与获取研究

针对一些复杂专家控制系统的知识不确定性及知识规则数量多的特点,在模糊Petri网和彩色Petri网的基础上,给出了一种基于模糊彩色Petri网（FCPN）的知识表示和知识获取方法。该方法充分利用其图形化的特点将模糊规则库中的不同变量用不同的色彩来区分,每一种色彩用一种标识符号来表示,因此可构成一个更为简明的FCPN图。将其用于列车专家控制系统的不确定性知识的表示及获取,结果表明,基于模糊彩色Petri网的知识表示和获取方法对大型、复杂的专家控制系统是非常有效的。     

一种基于有色Petri网的知识库验证方法

以有色Petri网为基础,在经过了必要的功能扩充后,针对知识验证的主要内容,建立了有色Petri网的知识表示模型,提出了一种简洁有效的、基于有色Petri网的知识库验证方法,并给出了相应的判定准则,最后给出了一个说明知识表示模型和知识验证准则的实例。     

优先级调度规则建模研究

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

基于Petri网的保密性策略建模与验证

为了对实施了具体保密性策略的系统、进程或工作流的保密性进行严格有效的分析与验证,提出了一种基于Petri网的保密性策略建模与验证方法.首先给出保密性策略基于Petri网的形式化描述,为系统建立Petri网模型;然后在此模型下利用保密性策略基于Petri网的形式化描述以及覆盖图对系统的保密性进行分析与验证,以判断系统是否符合保密性策略的要求.由于给定的系统Petri网模型覆盖图可以自动生成,因此可以利用其对系统的保密性进行自动分析与验证.通过一个进程实例阐述了该方法的原理和实施过程.     

Petri网在ERP实施中业务流程建模的应用

对企业在实施ERP中的业务流程优化问题,提出了一种基于Petri网的业务流程优化和配置方法.首先分析ERP实施中的业务流程建模,指出采用Petri网建模的适用性.其次运用Petri网对流程给出形式化定义,提出优化规则,探讨基于Petri网的流程模型在ERP软件中的实现.最后结合某企业实施用友ERP的过程进行实例分析.