基于Petri网的间歇式化工生产过程建模与调度监控器设计

针对间歇式化工生产过程,提出了一种基于Petri网的调度监控器设计算法.首先给出了间歇式化工生产系统的建模方法,并得到了其Petri网模型;其次将生产工艺描述为字符串控制目标;随后,给出在对象Petri网上设计工艺控制库所的方法,使得闭环系统满足给定的字符串控制目标;最后,利用某化工厂一种树脂生产过程的建模和调度监控问题验证了本文的方法.     

基于局部关联矩阵的Petri网监控器的综合

针对具有定义在库所标识上的最一般情况下不等式约束的离散事件系统,给出了它的Petri网控制器设计方法.该方法通过简化离散事件系统的Petri网关联矩阵以减少控制器设计的复杂性.通过一个应用实例将该控制器设计方法与Moody提出控制器设计方法进行比较,结果表明该方法更简便、有效.     

受控赋时Petri网在批处理系统建模中的应用

将受控赋时Ｐｅｔｒｉ网用于批处理生产过程中离散事件系统的建模,并通过为动作库所赋予不同的时间参数,对化工批处理过程中特有的零等、有限时间等待的中间存储策略进行建模和分析。控制库所的引入,可消除资源争用冲突．。     

带有不可控变迁的一般不等式约束的Petri网控制器综合

针对关于标识向量和Parikh向量的一般不等式约束的Petri网控制器实现问题,研究控制对象中存在不可控变迁情况下实现Petri网反馈控制器问题.首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不等式约束,由于Petri网中不可控变迁的存在,故不能直接对给定不等式约束进行控制器设计,需要对不等式约束进行转换.提出一种新约束转换技术把不允许转变为允许不等式约束,然后设计Petri网反馈控制器.最后将该方法与Iordache等人提出的方法作比较,实验结果显示该方法更简单、更有效.     

无环Petri网的结构性质

无环Ｐｅｔｒｉ网的结构性质赵正义宋文忠（东南大学自动化研究所，南京２１００１８）无环Ｐｅｔｒｉ网是一类特殊的Ｐｅｔｒｉ网，在研究离散事件动态系统（ＤＥＤＳ）的控制问题时经常会遇到，如文［１］中的结构无竞争无环Ｐｅｔｒｉ网，文［２］中的广义树结构均属...     

基于不变量综合离散事件系统Petri网控制器

基于Petri网模型,研究在具有不可控变迁的离散事件动态系统中实现一组不等式约束控制规范的Petri网控制器的存在性及其综合问题.利用系统的关联矩阵,把Petri网控制器的参数阵与受控系统的一个P-不变量用线性方程组联系起来.提出了Petri网控制器存在的代数判据.通过以此方程组为约束条件的一个整数线性规划问题的解,给出了Petri网控制器的结构参数（弧权值）和控制位置的初始标记数.给出的控制器的结构具有极小性.在结构一定的条件下,它是极大允许的.     

实时离散事件系统规范与证明方法

针对离散事件系统的规范与证明，给出了多种形式化方法，并且在这些形式化方法的基础上，将时间因子引入，从而解决实时离散事件系统的实时规范问题，虽然这些实时形式化方法是从不同角度提出的，但它们之间存在的内在联系，通过对这种联系进行深入研究，为以后更加有效地使用这些形式方法提供了理论依据。     

柔性存储传输线的赋时Petri网建模

该文在深入研究了赋时Petri网的基础上，对柔性存储传输线进行了建模，提出了采用递推模型简化基本模型，为下一步对实时离散事件系统进行分析和控制研究打下了良好的基础．结果表明递推模型对化简Petri网模型是有效的．     

基于Petri网的离散事件系统控制理论

建立在Ｐｅｔｒｉ网逻辑模型上的离散事件系统控制理论是近年来发展起来的离散事件系统控制理论的重要组成部分，具有适应面广和易于实用化的特点，本文首先介绍该理的Ｐｅｔｒｉ网模型，然后概述该理论的主要成果。     

随机Petri网对可修复系统的建模和分析

为分析工程中较大的可修复系统的工作状态、可靠性和修理工的工作强度，提出了一类由不同机器和具有混合技能的不同维修人员所组成的可修复系统，引进了状态转移是Markov过程的随机Petri网，对系统进行建模，通过实例分析系统的状态空间、各状态在稳态下的期望频率、期望持续时间、系统的可靠性和维修人员的工作强度，分析了随机C／E网和随机P／T的适用范围．与传统的状态空间法相比较，在确定可修复系统的状态空间、分析状态间的逻辑关系和系统的动态过程中，随机Petri网具有显著的有效性和优越性．     

基于C/E系统监控器的CPLD实现

文章给出了用复杂可编程逻辑器件 (CPLD)实现离散事件动态系统 (DEDS)监控器的方法 首先用Petri网中的条件 /事件系统 (C/E系统 )对DEDS建模 ,然后使用Petri网工具对模型进行分析 ,并根据控制要求设计出Petri监控器 ,最后用CPLD实现之 这不仅使Petri网有了硬件支持 ,而且也为逻辑控制器的设计提供了一种新的方法 文中给出了猫和老鼠迷宫问题基于C/E系统监控器实现的例子     

离散事件模型的代数方法及其监控理论

有限状态机（ＦＳＭ）、Ｐｅｔｒｉ网、通信顺序进程（ＣＳＰ）和有限递归进程（ＦＲＰ）都是用来描述离散事件动态系统逻辑行为的，都可以化为一种代数形式。本文首先描述了构造离散事件模型的一般方法，然后讨论了在其上发展的监控理论。     

基于Petri网模型的顺序离散事件机电系统在线Bayes故障诊断方法

提出了顺序离散事件机电系统的概念,并基于Petri网理论,研究了赋时简单串联顺序事件Petri网对该类系统建模.将变迁过程的时间度量看成统计量,提出一种Bayes试验鉴定方法,用于对统计量方差差异进行显著性检验,并通过结合Bayes方法与先验知识对系统进行故障诊断.实验结果表明,该故障诊断算法能够充分将经验知识和实时监测数据相结合,可以较准确地检测某物料自动输送系统的故障.     

模糊离散事件系统的分散控制

针对控制系统结构复杂,规模庞大的问题,以自动机作为系统的模型,研究了扩展全局监控器存在条件下的分散监控综合问题。由经典离散事件系统的局部监控器存在条件,延伸得到模糊离散事件系统的局部监控器存在条件,得到了全局监控器的存在条件。在系统存在全局监控器的基础上,讨论其与全局控制目标之间的关系,避免常规方法研究复杂系统时的分析困难和综合复杂性,从而为模糊离散事件系统监控理论的应用探寻新的途径。     

化学连续浸提法对土壤中Zn和Mn化学形态的研究

用化学连续浸提法研究不同土壤类型、不同pH值条件下,土壤中Zn和Mn的形态分布,并对方法的精密度和准确度进行系统评价．结果表明,化学连续浸提法精密度小于10％,回收率为94．0％～107．3％．随着土壤pH的变化,土壤中各形态对Zn,Mn呈现有规律变化,土壤类型的变化对Zn的形态分布影响不大,但对Mn的形态分布具有显著影响．