Petri风理论及其在自动制造系统中的应用

文中详细综述了Ｐｅｔｒｉ网理论的发展、应用领域、基本定义以及分析方法和建模方法。重点介绍了Ｐｅｔｒｉ网在自动制造系统控制听应用、发展方向，指出了Ｐｅｔｒｉ网在自动制造系统中的应用前景和作者的看法。     

自动制造系统Petri网模型的资源变迁网性质分析

资源变迁网NR是自动制造系统Petri网模型N的简化形式,在系统死锁的分析与控制中有重要作用.文中总结了资源变迁网的若干性质,并指出:对于任意一个非空资源子集R1,若资源变迁网NR关于R1的内连子网N1=NR[R1 ∪('R1 ∩ R1')]是强连通的,则一定存在以R1为资源集的资源变迁回路,特别地,θ=就是其中一个.进一步,若θ又满足完美条件,则θ即为N的一个完美极大资源变迁回路.     

Petri网模型在电信结算系统中的应用

由于Petri网模型具有强大的描述离散事件系统的能力,电信综合结算系统采用了基于Petri网的系统模型,作为分析工作流模型的理论基础。讨论了结算系统优化求解模型和工作流Petri网模型。结算系统建立了全局流程管理机制,调度系统统筹管理任务、进程和资源等各方面要素,成功减少了计算机资源消耗,也使结算系统的监控、配置、操纵更加方便和智能。     

基于Petri网的嵌入式系统建模

基于对传统Petri网结构的修改，文章提出了一种新的模型方式，并具体给出相应的结构定义，图形表示和行为规则。该方法实现了控制信息和数据信息的统一化表示，从而易于表示系统中的循环和条件操作。最后就嵌入式系统的描述举例说明。     

Petri网在系统可靠性分析中的应用

简单介绍了各种Petri网模型的定义和性质，对Petri网模型在系统可靠性分析中的基本行为描述、故障树表示与简化、故障诊断、可靠性指标的解析计算以及可靠性仿真分析等方面进行了较全面的评述，对进一步的研究方向进行了展望。     

Petri网在电信管理网可信性建模中的应用

介绍了ＴＭＮ（电信管理网）可信性建模的一种新的方法－Ｐｅｔｒｉ网。首先简要介绍了Ｐｅｔｒｉ网的基本概念和Ｐｅｔｒｉ网的特性分析，然后描述了用Ｐｅｔｒｉ网进行建模的一般方法并举例说明了它在ＴＭＮ可信性建模中的应用。最后还介绍了一种自动生成可信性Ｐｅｔｒｉ网模型的方法。     

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

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

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

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

有色Petri网在C~3I系统建模中的应用

C3I系统对现代化战争的支持越来越大，许多发达国家均投入大量人力和物力来提高C3I系统的性能，但是系统多维性和复杂性使得系统的建模一直是一个难点，至今还没有较好的系统化的模型产生。本文讨论了一种基于有色Petri网的模型的建立方法，克服了以往用普通Petri网建模的一些缺点。     

一种着色赋时的面向对象Petri网及在自动制造系统中的应用

着色赋时的面向对象Petri网(Colored Timed Object-Oriented Petri Net,CTOPN)是在面向对象Petri网的基础上,添加了着色令牌和输入输出变迁函数的概念而形成的,是Petri网的扩展形式.给出了CTOPN的基本定义和建立CTOPN模型的方法,给出了CTOPN在自动制造系统(Autommated Manufacturing Systems,AMS)中的应用实例,最后对模型进行了死锁分析.CTOPN可以准确地描述复杂系统的静态结构及动态特性,能够成为面向对象系统的一种形式化的建模工具.     

随机高级Petri网在异构系统中的应用

传统的随机高级Petri网(Stochastic high-level Petri nets,SHLPNs)通过将多个同构子系统压缩成一个子系统,并将具有相同标记分布的多个标识压缩成一个标识(复合标识),从而有效地减小模型规模和状态空间.但该方法仅适用于若干同构子系统组成的系统中,本文将这种方法扩展,通过引入非对称的变迁实施谓词和扩展的复合标识,精确地模型并分析异构系统,同时也保持了SHLPNs在化简模型和状态空间方面的优越性.     

门户网自助系统的扩展有色Petri网建模与分析

文章探讨了一种基于扩展有色Petri网的门户网自动生成系统,详细论述了有色Petri网与面向对象技术的融合方式,给出了面向对象的扩展有色Petri网的映射规则和形式化定义,并构建了门户网自动生成系统的ECPN模型,最后利用状态空间法和系统在实际生产中的效率统计,证明了模型的可用性、高效性。     

使用Petri网检测主动数据库中的复合事件

由于近年提出的一些描述事件定义的语言，主动数据库系统中事件的检测成一难题，尤其是复合事件的检测。因此，需要一个合适的、能模拟复合事件语义并且能实现事件检测器功能的机制。本文将描述如何用Petri网在主动数据库系统中实现这样一个机制，实验证明S-PN不仅合适于各种复合事件的模拟，而且执行也方便。     

一种随机Petri网性能等价化简与分析方法

随机Petri网模型是系统性能评价的有力工具,但其状态空间随模型规模的增长而指数性增长的问题限制了其对复杂和大规模系统模型的性能数量分析能力.因此,在对模型进行分析之前,先对其进行适当的性能等价化简,是一种更为可行的分析方法.本文首先讨论了一类随机Petri网-基本随机Petri网(ESPN)的性能等价分析方法,这类随机Petri网由顺序、并行、选择和循环等四种基本结构及其组合构成.作者推导出这四种基本结构的性能等价公式,并运用自底向上逐步综合替代的分层分析方法,给出这类随机Petri网模型的性能等价化简分析方法,该方法的复杂性随模型增长而线性增长,有效解决了其性能数量分析问题.然后,讨论了两种非基本结构到基本结构的转换规则,使得复杂的随机Petri网模型也可能转换为ESPN模型,从而使性能等价算法可应用于一般随机Petri网.     

基于随机高级Petri网的ATM网络接纳控制过程模型

本文提出了一个ＡＴＭ网络的接纳控制过程模型，此模型是基于随机高级Ｐｅｔｒｉ网的层次模型方法。在复杂的ＡＴＭ网络的接纳控制过程模型中，使用了从顶向下的模型方法。在模型的性能分析中，则采用了从底向上的分解、压缩的方法。这种方法简化了复杂系统模型的状态空间爆炸问题。     

基于着色Petri网的电信业务特性集成模型

“业务特性”的快速集成是电信系统发展的趋势,本文提出了基于着色Ｐｅｔｒｉ网（ＣＰ网）的业务特性集成模型。在本方法中,基本的电话系统以及每个业务特性以一个ＣＰ网来模拟,当把一个业务特性集成到系统中时,相应于把代表它的ＣＰ网嵌入系统的网中。本模型既形象化地模拟业务特性的集成,同时可以用数学方法来分析业务特性的行为,可应用于检测和解决业务特性的交互作用。     

基于Petri网的SET双重签名建模与分析

双重签名是安全电子交易协议的一个重要技术,它将摘要和数字签名结合起来,使得交易中的各方仅得到部分消息即可完成验证从而达成多方协议。论文利用Petri网对双重签名进行建模和形式化描述,并就安全性对此模型进行了分析。     

主体计划的Petri网方法及正确性验证

主体计划的生成问题是多主体系统实现的一个关键问题.为了实现多主体系统中的计划自动生成以及对生成的计划进行验证,以任务有效分解的Petri网模型为基础,提出了计划提取的方法并对相关的正确性运用同步器进行验证.首先,通过对网系统的可达性分析得到所有计划的集合,组成多主体系统的计划库.其次,根据同步网的相关思想,对计划库中的每一个计划的正确性进行了形式化的验证,从而为多主体系统的实现提供了保证.     

物元分析方法在通信网可靠性评价中的应用

本文主要研究物元分析方法在通信网可靠性评价中的应用，首先应用物元变换方法对通信网可靠性评价的研究思路进行了转换，提出了分析可靠性增长与通信网发展的相关适应性的物元评价方法。这种方法的应用在实际中显示出较好的效果。