含有不可控变迁的Parikh约束的Petri网控制器综合

针对基于Petri网建模的离散事件系统关于Parikh向量的不等式约束反馈控制器设计问题,对Parikh向量的不等式约束条件中存在不可控变迁的情况进行分析.将约束条件分为可控部分与不可控部分,即允许约束和禁止约束,并通过矩阵变换方法对含有不可控变迁的禁止约束部分进行处理,将禁止约束转化为允许约束,从而设计出相应的控制器.实例表明,该方法结构清晰,计算简单,用于混合约束条件中,能大大减少计算量,在复杂Petri网模型中效果更为明显.     

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

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

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

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

Petri网在时序建模中的应用

本文提出了一种对离散事件系统进行时序建模的TL／PN（时序／Petri)方法。文中描述了点－区间时序逻辑的形式定义体系,以及基于图模型（把系统的时序特性转化为图结构）的时序推理机（TIE）的原理和应用。本方法不仅可避免传统设计中的时序歧义和错误,同时推导出的新的时序关联还能识别用户自定义的有用区间。     

基于Petri网接口变迁的交互流程模型模块网挖掘方法

交互流程模型的模块分解是查找流程模型变化域的核心内容之一,已有的模块分解方法多是基于完整的流程模型,通过挖掘对比流程模型中所有活动的行为关系将流程模型分解为多个模块网。但是在基于单纯的事件日志分解交互流程模型方面,目前的模块分解方法存在一定的局限性。提出基于Petri网接口变迁的交互流程模型模块网挖掘方法,首先基于系统运行所记录的局部有效事件日志确定其中各活动间的前驱后继关系,并得到相应的活动前驱后继关系表。然后,基于前驱后继关系频繁的活动查找接口变迁,同时考虑无后继变迁的活动。其次,通过分析接口变迁的前集变迁查找交互流程模型中各个模块网的初始变迁,并由初始变迁开始,利用活动前驱后继关系表,逐个添加活动,以此挖掘交互流程模型的模块网。论文最后通过实例验证该优化方法的有效性。     

连续系统的受控连续Petri网模型

对于连续系统提出了一种受控连续Petri网模型．该模型充分考虑了系统状态的时变性质,在普通连续Petri网的基础上,对连续变迁的激发速度及触发规则进行了重新定义,从而能直观地、充分地描述受控连续系统的演变,从而为混杂系统统一的Petri网模型框架的建立提供了理论基础．利用模型详细讨论了连续系统的时间最优控制问题的连续Petri网描述．     

计时扩展双变迁Petri网及其分析技术

扩展双变迁Petri网是一种适合嵌入式系统的建模工具。但是，不能描述时间特性的不足限制了它在嵌入式系统软硬件协同设计中的应用。通过对扩展双变迁Petri网的变迁引入时间因子，以及该模型结构特征的分析研究，给出了计时扩展双变迁Petri网，及其状态方程和时间分析算法，从而使双变迁Petri网的描述能力增强；利用时间分析算法，可初步实现嵌入式系统的时间分析，为双变迁Petri网技术有效地运用于协同设计打下了基础。并基于时间分析算法设计开发了模型的时间分析工具，以便于开发人员自动地分析系统的时间性能。     

排队系统的随机Petri网描述与分析

研究了用随机Ｐｅｔｒｉ网描述的基本排队模型，提出了对复杂系统建模的组合方法，并结合通信网中若干实验问题尝试了用随机Ｐｅｔｒｉ网对排队系统建模、分析的一般途径。     

一类混杂Petri网的极大代数模型研究

针对时间事件图(TEG)建模范围窄的问题,提出了一种用来描述制造系统中的离散和连续事件的混杂事件图(HEG).HEG在TEG的基础上引入连续位置和连续变迁.通过构造一个由四个基本函数组合而成的双子代数系统,推导出一组极小代数等式来表示HEG,证明这组等式在极大代数意义下是线性的.这样可以继续采用极大代数方法来研究HEG.实例表明,HEG及其极大代数方法的适用范围比TEG广,可以用来建模制造系统的混杂动态行为.     

基于量词消去的Petri网不变式自动生成

基于模板和量词消去建立了一个求解Petri网不变式的算法.引入一个带参模板作为Petri网的候选不变式,再根据不变式必须满足归纳断言初始条件和承接条件,将Petri网的自动生成问题转化为量词消去问题,并求解出带参模板中的参数得到原Petri网的不变式.最后通过两个算例说明了该算法的有效性.     

Petri网位置不变量的几何意义

引入了Ｐｅｔｒｉ网路增益及位置不变量并运算的概念，建立了路增益与位置不变量之间的联系以及路、基本圈与它们对应的位置不变量的关系，给出了Ｐｅｔｒｉ网图形运算与位置不变量运算之间的关系，证明了加权状态机位置不变量存在的充要条件，揭示了Ｐｅｔｒｉ网位置不变量的几何意义。     

针对有限禁止状态的Petri网控制器综合

针对基于Petri网的离散事件系统禁止状态问题,提出了一种控制器综合方法.该方法是建立在受控Petri网最大不可控子网为规范化序状Petri网基础之上的,当禁止状态有限时,可以将禁止状态问题转化为惟一可达解向量问题,即可达标识和状态方程的解向量之间存在惟一的对应关系,从而只须通过判断惟一可达解向量就能够得到相应的控制器.通过一个具体的例子验证了该方法在设计最大允许控制器中的应用,例证表明,针对有限禁止状态问题,该方法是可行的,并且简单、有效.     

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

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

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

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

离散自动制造系统Petri网的一种设计方法

文章力图以通信顺序进程为基础设计一种自动制造系统的规格说明语言，采用该语言所形成的描述语言可以自动转化为系统的Ｐｅｔｒｉ网模型．文章为复杂离散自动制造系统Ｐｅｔｒｉ网形式化设计理论的研究，开辟了一条新途径．     

混流制造系统的Petri网建模与仿真研究

以赋时Petri网为分析工具,将混流制造系统工艺流程、产品类型标识、缓冲区和加工时间等用基本Pe-tri网语言表示,建立了基于赋时库所Petri网的混流制造系统模型,从全局观点描述事件之间的顺序、并发和同步等关系,并基于该模型,进一步分析混流制造系统的性能,包括操作间的逻辑约束关系、资源冲突、生产能力和设备利用率等。相关实例的仿真结果证明了该模型的有效性。     

基于抑制弧Petri网的离散事件系统的监控理论综述

利用Petri网的抑制弧实现离散事件系统的监控是离散事件系统监控理论的一个新进展。对抑制弧Petri网作了简单的介绍，并给出了该监控理论的基本原理．详细地回顾和总结了该理论的四种方法，即：结合自动机的字符串避免方法、抑制弧方法、基于抑制弧的状态避免控制器方法以及加权抑制弧方法，分别分析了这几种方法各自的利弊。最后对其可能的发展作了展望。     

无向Petri网的多AGV最优路径方法研究

采用无向Petri网对自动导引车(AGV)系统路径布局进行建模,与时间窗(Time-window)结合建立基于时间的可达状态图．将调度的方法用于双向通行的多AGV系统的路径优化,并将多AGV同步寻找优化路径转化为对单个AGV分别寻找优化路径,降低了系统的复杂性．利用Best-first搜索方法,以下一步路径的状况作为确定目前状态的依据,提出了时间最短的路径优化算法．该方法可以在保证系统无死锁和冲突的基础上,使得AGV得到时间最短的优化路径．实例计算表明优化效果明显．该方法可用于较大规模的多AGV路径优化问题．