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

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

Petri网的一种硬件实现方法

Petri网是一种信息流模型,广泛应用于离散事件动态系统建模及控制领域．随着CPLD、FP-GA等可编程逻辑器件的出现,为Petri网的硬件实现提供了可能．从Petri网的原理出发,根据库所与变迁的本质特点,提出了一种Petri网硬件实现的框架,并详细阐述了如何用硬件描述语言VHDL实现C／E系统、P／T系统以及T-时延等几种典型的Petri网系统．最后用一个带有时延的P／T系统来验证此种方法的正确性．采用这种方法对离散事件动态系统控制器的设计,以及片上并行控制器、多处理器芯片的设计都具有十分重要的意义．     

基于Petri网密码系统的实现

研究了用Petri网对密码系统建模和分析,用在系统可编程逻辑器件实现Petri网的方法,这种密码系统的设计方法简单、直观,由于Petri能够对复杂系统进行建模和分析,因此,采用这一方法能够十分容易地构造出复杂的密码系统,并确保系统的安全、可靠,文中给出了几种密码系统的Petri网模型,并给出了硬件实现的实例。     

基于Petri网密码系统的实现

研究了用Petri网对密码系统建模和分析 ,用在系统可编程逻辑器件实现Petri网的方法 ,这种密码系统的设计方法简单、直观 由于Petri能够对复杂系统进行建模和分析 ,因此 ,采用这一方法能够十分容易地构造出复杂的密码系统 ,并确保系统的安全、可靠 文中给出了几种密码系统的Petri网模型 ,并给出了硬件实现的实例     

半双工协议的Petri网分析及FPGA实现

应用Petri网中的条件／事件（C／E）系统建立半双工通信协模型,并应用Petri网工具对协议模型进行分析,使用电子设计自动化（EDA）技术,对基于C／E系统的协议模型进行高速硬件描述语言（VHDL）程序设计,并由现场可编程门阵列（FPGA）器件实现该模型,为协议的验证和实现提供了一种方法。     

采用普通Petri网的自动化立体仓库系统的PLC程序设计

以一个实际立体仓库系统的出库流程为例,给出利用普通Petri网设计其可编程逻辑控制器(PLC)程序的方法.首先,根据自动化立体仓库系统的出库流程,提出其对象Petri网的设计方法;然后,根据系统工艺流程对应的顺序控制规范,在对象Petri网的基础上增加执行机构的变迁,最终得到闭合Petri网(监控器);最后,给出将闭合Petri网转化成PLC梯形图的方法,实现自动化立体仓库系统的形式化建模和PLC程序设计.研究结果表明:所提出的设计方法更容易自动实现系统的控制器设计及转化为梯形图语言.     

间歇式化工形式化建模与顺序控制器设计

摘要：
针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网监控器,实现了复杂化工过程的闭环控制系统的形式化建模、分析和优化.
关键词：
离散事件系统; Petri网; 间歇式化工; 顺序控制; 监控
中图分类号： TB 61; TK 31
文献标志码： A     

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

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

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

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

离散事件系统非阻塞模块监控器设计

为解决离散事件系统模块监控中的阻塞问题，提出了一种新的监控器设计思想，在监控器之间建立通信的基础上，运用传统的模块监控器设计方法，基于估计状态独立设计各个监控器，在各监控器间的协调中，利用基于优先权函数模块控制（MCP）机制，使整个系统的动态行为满足期望指标并达到消除或减少阻塞的目的，利用这种方法的监控器非阻塞的充分条件是系统每个事件有一个监控器能观，最后给出一个应用实例，说明设计思想的有效性。     

基于通信顺序进程的并发DEDS的规范和证实

在实时通信顺序进程（TCSP）的基础上对离散事件动态系统（DEDS）进行建模、规范和证实。介绍了TCSP中与DEDS相关的一些研究成果，根据离散事件的特点作了符号语义上的改进，就两个具体的例子——自动导引小车（AGV）和火车道口系统道口系统建立了TCSP模型，给出了它们需要满足的特性，并据此确立了控制方法和综合后的系统模型。     

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

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

具有并发事件的离散事件系统的动态监控

本文用受控Ｐｅｔｒｉ网为具有并发事件的离散事件系统建模，研究了该模型了的离散事件系统的禁止并发事件串的控制问题，利用合法语言及合法语言的最大可控子语言来规范监控器，并提出了一种动态监控的方法。．     

半双工协议的Petri网分析及FPGA实现

应用Petri网中的条件 /事件 (C/E)系统建立半双工通信协议模型 ,并应用Petri网工具对协议模型进行分析 ,使用电子设计自动化 (EDA)技术 ,对基于C/E系统的协议模型进行高速硬件描述语言 (VHDL)程序设计 ,并由现场可编程门阵列 (FPGA)器件实现该模型 ,为协议的验证和实现提供了一种方法     

基于LabVIEW的Petri网控制器实现

为使Petri网更易应用于测控系统,提出一种基于图形化编程工具LabVIEW、组件化的时延C/E Petri网系统实现方法.在LabVIEW中,用布尔控件表示Petri网的库所(布尔控件值为TRUE表示库所中有token),用子VI控件表示Petri网的变迁.变迁被触发时,变迁VI控件通过布尔控件的控件引用修改库所的值...     

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

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

扩展颜色逻辑Petri网及其可达性分析

逻辑Petri网是一种增广Petri网模型,具有与图灵机等价的建模能力。颜色逻辑Petri网解决了逻辑Petri网中输出的不确定性表达问题。然而颜色逻辑Petri网描述不同子系统的并发过程,需要对每一个子系统建立一个子网模型。如果所有子网模型的结构相同,则可以引入多个有色托肯,从而用一个子网模型表示多个子系统的并发过程。因此,提出了扩展颜色逻辑Petri网模型及其可达性分析方法。首先,为了方便可达标识的表示和计算,引入多重集的素数表示法,用素数幂的乘积来表示一个多重集,并给出了判断变迁使能的方法。其次,通过定义颜色逻辑关联矩阵,给出了一步可达标识的计算公式以及可达树构造方法。最后,针对一个电子商务实例,分别用颜色逻辑Petri网和所提出的扩展颜色逻辑Petri网建立模型并进行比较分析,从而证明了提出的模型具有更简单的网结构,丰富了逻辑Petri网理论。     

实时离散事件系统监督控制的代数分析

本文基于离散事件动态系统（DEDS）的自动机模型，用极大和极小代数对状态转移时间，在某一范围内变化时的有关问题进行了分析。     

基于multiSIM环境下的混杂系统仿真

混杂系统的仿真通常是在MATLAB环境下进行的，如果要用电路来实现混杂系统的监控器，还需要做数学模型到电路模型的映射并对电路模型再进行仿真．笔者提出了基于multiSIM环境下的混杂系统仿真方法，可直接得到系统监控器的电路模型．用模拟电路来模拟混杂系统的连续时间子系统，其离散事件子系统用Petri网建模，并对模型用VHDL编程，经编译、仿真后封装成器件，将两部分电路相互连接，通过multiSIM仿真，获得混杂系统的性能．文中通过一个液位控制系统实例具体介绍了这一方法，其仿真结果证明了该方法的正确性．这对于混杂系统的研究，以及片上嵌入式系统的设计都具有重要的意义．     

机械加工自动线嵌入式故障诊断研究

基于有限状态自动机／形式语言的离散事件动态系统（DEDS）诊断理论,探讨了机械加工自动线嵌入式故障诊断技术的实现方法,同时讨论了嵌入式诊断代码生成问题．