闭环模糊Petri网系统

该文提出了一种新型的模糊Petri网—闭环模糊Petri网系统,它形成了一个闭环动态系统,开拓了原有模糊Petri网的应用领域,能更好地应用于经济系统等相互联系、相互影响、相互制约的系统中。首先给出模糊Petri网的定义及其运行规则,并引入了一个灵敏度向量,来刻画各个库所对外界刺激的反应程度,然后用代数矩阵运算来对该模糊Petri网的动态运行过程进行形式化描述,同时可以得到系统运行过程的全部状态值,最后给出实例进一步进行解释说明。     

模糊Petri网的约简技术

该文作为Petri网系统的推广,模糊Petri网可以更有效地处理带有模糊信息的库所和变迁。首先通过库所变迁串联、变迁并联及库所并联等模式下的简化规则,约简模糊Petri网系统而不改变其动态行为。接着,给出按上述规则简化一个模糊Petri网故障诊断算例。     

多传感器信息融合的分层着色Petri网模型

该文以导弹攻击系统为例,提出了一种基于分层着色Petri网理论建立多传感器信息融合系统模型的方法。该方法运用着色Petri网理论克服了以往用普通Petri建模的不足,细化了其系统模型的中间过程,同时给出融合中心的数据融合算法和指挥中心的神经网络解析算法。基于分层着色Petri网建模与分析方法有利于融合系统的性能分析和行为仿真的实现。     

一种时延Petri网的死锁预防方法

针对时延Petri网的死锁预防问题,提出了一个有效的预防控制算法,将信标控制死锁预防的方法应用到时延Petri网中,不需要列举全部可达状态的情况下实现死锁预防,而且实现最后的控制器为活．首先将时延Petri网拉伸为拉伸时延Petri网(SPN),使得不改变原来系统性能的情况下,拉伸后的网所有变迁均为单位时延,然后针对SPN忽略时间因素,采用信标控制方法,根据所得标识约束添加控制库所,使所有严格极小信标均为P-不变式可控,最后还原时延Petri网,得到活的、结构简单的Petri网监督控制器．     

模糊Petri网的合成运算

模糊Petri网是Petri网的一个重要方向,该文将Petri网的合成运算拓展到模糊Petri网系统,定义了模糊Petri网的共享合成和同步合成,并利用子网的关联矩阵构造出合成Petri网的关联矩阵,简捷方便地刻画了模糊Petri网的合成运算特点。     

模糊Petri网的发展

模糊Petri网是Petri网与知识表达的结合,是从Petri网基础上扩展而来的。对模糊Petri网的一些发展状况作了概括。总结了模糊Petri网基本理论和近期的理论进展;指出了各种应用的发展热点和难点;指出模糊Petri网的研究方向、研究方法和它在各领域当中的应用;最后对模糊Petri网的未来发展作了总结。     

制造系统的Petri网建模

应用Petri网对作为离散事件动态系统的一个简单制造系统进行了建模分析,阐述了Petri网建模的主要特征及方法,介绍了Petri网在制造系统描述中的应用,并以某机器制造车间为研究对象进行了实际建模,给出了相应的Petri网模型.     

利用不变量综合具有不可控变迁DES的Petri网控制器

基于Petri网模型,研究在具有不可控变迁的离散事件系统中实现一组不等式约束Petri网控制器问题,给出了一类Petri网位置不变量存在的必要和充分条件,基于路增益的概念,通过构造Petri网位置不变量的方法综合一类结构无竞争Petri网的控制器。     

赋时Petri网的一种符号分析算法

有序二叉决策图(Ordered Binary Decision Disgram-OBDD)是布尔函数表示的规范型,布尔函数的复杂运算可以基于OBDD得到极大地简化实现.在讨论基于OBDD的有界Petri网符号分析算法的基础上,对赋时位置Petri网的符号分析进行了研究,构造了一种扩展标识向量,给出了赋时Petri网分析的一种符号OBDD算法,实现了赋时Petri网的隐式描述与分析.实验表明,符号算法能处理较大规模赋时Petri网问题.     

赋时Petri网的一种符号分析算法

有序二叉决策图（0rdered Binary Decision Disgram-OBDD）是布尔函数表示的规范型，布尔函数的复杂运算可以基于OBDD得到极大地简化实现。在讨论基于OBDD的有界Petri网符号分析算法的基础上，对赋时位置Petri网的符号分析进行了研究，构造了一种扩展标识向量，给出了赋时Petri网分析的一种符号OBDD算法，实现了赋时Petri网的隐式描述与分析。实验表明，符号算法能处理较大规模赋时Petri网问题。     

弱引发三态加时变迁Petri网动态行为分析

文中提出的弱引发三态加时 Petri网比现有三态加时变迁 Petri网更适于模拟分析一类具确定性时间约束和冲突结构的并发系统 ;给出其动态行为形式化描述与分析框架 ;基于此和受控执行概念 ,并结合实际并发系统的一类调度问题 ,研究其动态行为的一些性质 .有关结果可用于优化并发系统的有限资源的配置     

自动制造系统规格说明语言的Petri网语义设计

研究了自动制造系统中离散事件的形式化表示方法。依助通信顺序进程设计了制造系统的规格说明语言，在给出事件的Ｐｅｔｒｉ网表示的基础上，讨论了系统语言及Ｐｅｔｒｉ网控制器的结构，可以研究具有活性、安全或有界性以及可逆性的Ｐｅｔｒｉ网控制器初始标识的设计算法。     

一种扩展Petri网及其应用研究

基于Petri网,提出了离散事件系统建模,分析与控制的一种新模型——控制和数据Petri网(CDPN)．给出了CDPN形式定义,发射规则．研究了基于工业控制计算机和可编程序逻辑控制器的控制系统CDPN模型的设计步骤和方法,为控制系统设计的最终确认提供了形式化的分析手段和依据．最后给出了该方法在立体停车库控制系统设计中的应用．     

基于Petri网的底盘总装线人员配置优化研究

客车底盘总装线生产属于离散事件动态系统(DEDS),针对作业任务对作业人员这种资源存在共享、独占等关系,利用自顶向下的建模方式构建时间Petri网模型,对客车底盘总装线的人员配置进行优化,给出了人员配置的方法与步骤.实例分析表明,时间Petri网模型可以用来优化总装线人员配置,提高劳动生产率.     

基于Petri网的安全工作流管理系统模型

访问控制是信息系统的一个重要安全保护机制,主体只有在被授权时才能对客体进行访问。应用有色时间Petri网对安全工作流模型进行了描述,并结合读/写安全策略对动态授权机制进行了应用分析。应用基于有色时间Petri网的工作流模型可以降低数据误用的危险性。     

Petri网理论及其应用

Petri网是一种适于系统描述、分析和综合的图形数学工具,它的研究已引起了人们的普遍关注。本文着重讨论了一般Petri网理论,并对计时、随机和高级Petri网以及Petri网理论的应用进行了简要的介绍。     

Petri网的遗传算法在Job-Shop问题中的应用研究

提出了一种基于扩展时间Petri网(ETPN)的单亲遗传算法,并利用该算法对Job-Shop调度问题进行了求解.首先定义一种扩展时间Petri网,然后利用定义的扩展时间Petri网对Job-Shop调度问题进行建模,最后应用单亲遗传算法对模型进行优化调度.通过实例证明了该建模方法和优化算法的有效性和正确性.     

基于Petri网技术的继电保护建模研究

提出了保护系统建模方法。分析了保护系统的混杂特性及其数学描述,利用可编程赋时Petri网(PTPN)建立线路距离保护模型。该方法将保护系统的工作特性分成离散状态逻辑层和连续动态层来描述,由逻辑层协调各连续动态系统的模式切换。继电保护装置的输入量为连续动态层状态变量,继电保护装置的动作属于系统离散状态逻辑层的变化。在建立模型时考虑了自动重合闸与继电保护的配合。数字仿真表明保护的PTPN模型的可行性。