基于Petri网的离散事件系统建模

用Ｐｅｔｒｉ网作为建模工具,对典型的离散事件系统的建模进行了研究。     

离散事件动态系统的受控Petri网控制研究

讨论了基于受控Ｐｅｔｒｉ网描述的离散事件系统的一类控制问题，包括部分观测信息下的状态标识估计，系统的状态反馈控制设计等。     

离散事件系统一类禁止状态避免控制

以Ｐｅｔｒｉ网为模型描述某些离散事件系统，把实际系统中一些不希望出现的现象抽象为一类禁止状态，解决了这类禁止状态的避免控制问题     

离散事件系统的逻辑监控理论

离散事件系统作为系统与控制理论的一个新兴分支和前沿方向,其研究日益受到人们的重视。本文介绍了Ramadge和wonham以及其他学者提出的逻辑监控理论。     

考虑事件并发下离散事件系统的监控研究

Ｒａｍａｄｇｅ和Ｗｏｎｈａｍ所提出的基于形式语言／自动机的逻辑监控理论中，对于多个子过程组成的复杂离散事件问题，采用Ｓｃｈｕｆｆｌｅ积得到整个系统的积系统模型描述，其中排除了各子过程之间事件的同时发生，即未考虑并发非确定性，然而，从原理上及工程有度来说，在任何子过程之间的事件都可以且可能同时发生（并发）。因此考虑子过程间事件并发下离散事件问题的监控即是讨论中心。     

Petri网方法及其在离散事件动态系统研究中的应用

从计算机集成制造系统(CIMS)应用的角度对Petri网方法进行介绍,包括Petri网基础理论和重要性质,并对其在离散事件动态系统中的研究进展进行评述.     

Petri网方法及其在离散事件动态系统研究中的应用

从计算机集成制造系统（CIMS）应用的角度对Petri网方法进行介绍，包括Petri网基础理论和重要性能，并对其在离散事件动态系统中的研究进展进行评述。     

离散事件动态系统仿真优化方法综述

仿真优化方法是离散事件动态系统研究的一种有效工具．对离散事件动态系统研究的仿真优化方法的最新进展进行了综述．根据仿真输入参数，分为连续参数方法和离散参数方法两种进行讨论．     

安全Petri网事件分离状态的BDD算法

基于区域法可以获得最佳的活性控制器,但由于要计算网的可达状态集而导致状态爆炸问题．提出一种应用二值决策图(BDD)计算安全Petri网事件分离状态的算法． 用布尔代数对Petri网的结构和行为进行描述,用BDD实现布尔代数运算． BDD共享的数据结构能以较小的空间表示较大可达集并能对其进行高效的运算,从而节省了存储空间,减少了运算时间． 最后用著名的哲学家就餐问题的Petri网模型对该算法进行仿真． 仿真结果说明,使用BDD计算复杂Petri网的合法状态集、危险节点、坏点和计算事件分离状态具有很高效率．     

离散事件状态反馈系统的一个新模型

对离散事件系统的状态反馈控制提出一个基于自动机的新模型,统一了无并发与有并发的Ramadge-Wonham模型与可控Petri网模型,并以公理的形式给出,讨论了给定谓词P的极大允许状态反馈的惟一性,基本系统与并发系统间的关系,从而可以将并发系统转换为简单的非并发基本系统来研究。     

基于离散事件系统的多机器人协调搜索控制研究

基于单机器人的局限性,提出了一种基于离散事件系统的多机器人协调搜索控制方法,并将此方法应用于多机器人在多房问的扫雷过程。通过理论分析,验证了基于自动机的离散事件系统这一理论应用于多机器人系统的防调搜索过程的可行性和正确性。     

一类含T-图环结构受控网显式控制器设计

定义并研究了T-图工作流网的结构和相关性质,提出一种基于T-图工作流网的替换规则,在此基础上,根据树Ⅰ型和树Ⅱ型的结构特点,构造2种新类型的Petri网子类,即T-图工作流—树Ⅰ型和T-图工作流—树Ⅱ型的Petri网.利用T-图工作流子网替换前后原网系统和替换网系统对同名库所权矢量的界保持不变的替换特性,给出一种适用于前向子网为T-图工作流—树I型或者T-图工作流—树Ⅱ型的受控Petri网显式控制器设计方法,应用示例表明:所提出的方法适用于一类最大不可控子网含T-图环结构时的受控Petri网显式控制器设计.     

面向ERP实施过程的模糊Petri网评价模型

为了避免企业资源计划(ERP)实施过程中的风险,保证ERP项目的成功实施,具体阐述了ERP实施一般过程及影响ERP实施的关键因素,建立了ERP实施过程评价指标体系,并给出了一种基于模糊Petri网的评价模型及评价方法.该评价模型直观简便,具有严密的数学理论支持,便于计算机实现,使ERP实施过程的评价达到定量化.最后给出相应实例予以说明.     

一类自动制造系统Petri网的设计方法

根据自动制造系统工件工艺规程的形式化表示及通信顺序进程，提出了自动加工系统Ｐｅｔｒｉ网的一种综合方法，为研究复杂系统Ｐｅｔｒｉ网的设计理论提供了很好的基础。     

DEDS状态反馈控制问题的费用优化算法

提出了一种解决离散事件动态系统状态反馈控制综合问题的简单算法－－费用优化算法,通过对已有的一类最优控制问题中的控制费用函数和惩罚函数进行造次地计算控制综合问题的最优解转化为对该类最优控制问题的求解,从而方便地计算出完全可观察系统中的最大可控子谓词和部分可观察系统在观察函数满足一条件下的最大可控可观察子谓词。     

信息物理融合系统的面向对象Petri网建模

从多Agent系统的角度,以面向对象Petri网为语义基础,建立了一种信息物理融合系统体系结构模型,将系统抽象为传感器节点Agent、执行器节点Agent和控制器节点Agent．该体系结构模型利用面向对象Petri网形象、无歧义地刻画系统的整体和个体特性,描述系统的静态和动态语义,同时可利用Petri网的数学分析方法和支持工具对系统进行模拟、分析和验证,检测系统开发早期存在的错误,提高系统的正确性和可靠性．利用信息物理融合系统体系结构模型对目标跟踪系统的建模、分析与实现表明,信息物理融合系统体系结构模型可以有效地辅助系统的设计与开发．     

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

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

采用基本标识图的Petri网控制策略

提出了一种基于基本标识图的Petri网的在线监督控制策略．首先根据原Petri网的初始标识与变迁的可控性,建立基本标识图,通过求解整数规划将其中节点标记为合法或弱非法标识．之后基于标记的基本标识图对Petri网中的可控变迁进行在线控制,从而防止系统到达非法标识．该控制策略能够避免可达图的穷举计算,具有良好的效率．     

一类离散事件系统的非阻塞监督控制器设计

提出一种新的死锁控制策略，对系统Petri网模型中的基本信标实施控制保证了基本信标的最大可控，通过线性规划求取所有从属信标满足可控性的条件，印获得基本信标的控制深度变量，这种控制策略能保证含有并发执行装配过程的一类柔性制造系统G-system的非阻塞性，印在控制下，受控系统从任意可达状态都可到达理想状态，和现有方法相比，该策略只需加入更少的控制库所，且可避免不必要的迭代过程。     

基于离散趋近律的变结构系统控制

探讨了离散线性系统的变结构控制问题,分析了传统趋近律方法的缺陷,提出了一种新的离散变结构趋近律。该趋近律不但能使系统滑模轨迹渐进收敛于零,而且其确定的准滑动模态区在趋近过程中能够分成为两个区域。分析了滑模轨迹在两个区域内的不同趋近特性,通过调整参数改变两个区域的宽度,尽量减少滑模轨迹穿越切换面的次数,确保系统的抖振削弱和鲁棒性。仿真结果证明,该离散趋近律方法对离散线性确定系统和离散不确定性系统都有良好的控制效果。