基于SIPN的一种控制系统PLC程序生成研究

分析PLC在解决复杂控制问题时的难题,介绍信号解释Petri网(Signal Interpreter Petri Net,SIPN),用SIPN对一个PLC控制系统进行建模,并用SIPN工具(SIPN Editor)对这个模型进行可视化分析。最后根据这个模型,采用模块化方法,提出自动生成PLC的IL程序的方法。     

自动制造系统的一种死锁避免策略

基于Petri网的结构分析理论，提出了自动制造系统Petri网模型的一种死锁控制方法，在这种策略的控制下，避免了系统中死锁的产生，从而许多制造系统的Petri网模型具有活性，提出了一种保证所有严格极小信标至少含有一个托肯的方法，对冗余严格极小信标的研究，提高了Petri网复杂自动制造系统的建模能力。结果表明，在设计无死锁的Petri网格型时，不是所有的严格极小信标都要考虑，从而简化了设计结果和控制算法。     

基于EPN-GERTS研制过程仿真模型

在分析研制系统过程的基础上,分析了GERTS模型和Petri网模型在流程仿真中的应用特点,提出了嵌入Petri网的GERTS研制过程仿真模型。该模型通过在GERTS模型中嵌入Petri资源控制网,解决了GERTS难以对具有较强资源依赖性的过程很好描述的缺陷,可用于复杂流程的仿真建模分析。最后,文章针对某型产品研制流程进行了建模。     

基于Petri网的叉车控制系统综合设计

探讨了一种基于Petri网模型的PLC程序设计方案。该方案利用Petri网的图形性质和对并发、异步、互锁等离散事件建模的能力,可以简便、直观地构建PLC控制系统程序,并能够通过对控制系统的性能分析,确认程序的准确性。     

基于Petri网单元控制器PLC编程方法的探讨

根据FMS单元控制器的控制逻辑功能建立系统Petri网模型,分析系统模型中每一元素状态变化条件列出各元素逻辑函数式,将逻辑函数式各元素间的“与”、“或”关系与PLC梯形图中的“串”、“并”联触点相对应。并结合系统的时序关系,可直接将系统Petri网模型转换为系统PLC控制程序。     

基于带抑止弧Petri网的PLC梯形图设计方法

针对PLC的梯形图程序设计,提出一种基于带抑止弧retri网模型的PLC梯形图程序设计方法.利用这种方法.可以把带抑上弧的控制系统Petri网模型通过逻辑公式转换成PLC梯形图程序.通过软件仿真和实验,该方法给PLC梯形网程序设计提供了一种结构化的设计方法,编写的梯形图程序可以借助Petri网模型进行修改,能够提高复杂...     

PLC控制系统的Petri网模型研究

运用Petri网方法,给出了PLC控制系统的建模准则,在此基础上,对PLC控制系统进行了性能分析和仿真研究。     

基于Petri网的系统故障率分析

对于复杂系统的建模和分析,Petri网是一个非常有效的工具.由于Petri网对系统的动态行为建模方面的能力很强,所以Petri网和故障树分析技术联合可以对系统的故障率进行定量的分析[1].文中提出了故障树的Petri网模型,分析了系统的故障率,并利用一个实例来论证了该方法于系统的故障率分析.     

基于Petri网理论的动态系统可靠性建模方法研究

利用Petri网对动态系统的描述能力，将Petri网应用于机械系统可靠性分析领域。研究了基于Petri网理论的故障事件及其逻辑关系的表达方法，探讨了将Petri网应用于复杂动态系统可靠性建模的方法，给出了应用示例。     

分布式控制系统的混合Petri网建模和分析

分布式控制系统是一个离散和连续相结合的混合动态系统,具有动态、并发及同步等特征,Petri网已经被证明是离散事件或异步系统很好的建模和分析工具,而混合Petri网是用于混合系统建模和分析的一个主要工具.基于混合Petri网描述了分布式控制系统的混合Petri网模型,并且能够进行故障检测.并运用VisObjNet对模型实例进行了仿真分析.     

基于Petri理论的虚拟企业过程建模研究

过程模型是虚拟企业过程管理和控制的基础.以建立面向网络化制造应用的虚拟企业建模支持系统为目标,在分析虚拟企业运作过程特性的基础上,探讨了将形式化的Petri网及其多种扩展方式运用到虚拟企业过程建模中的方法,并提出应用系统开发的原则和结构框架.     

基于PetriNet模型的钢铁厂铸坯跟踪系统

连铸生产过程与状态的实时跟踪记录,对提高钢厂生产效率与铸坯产品质量非常重要,但由于连铸过程的复杂性和不确定性,很难建立精确的数学模型来对连铸的生产条件、生产状态进行有效的分析。采用带抑止弧的P赋时有色PetriNet,建立了连铸前钢包炉次传递模型和连铸中钢坯状态跟踪模型,并对生产条件与状态进行了简单有效的分析。结合模型分析结果与采用GE的ProficyHMI／SCADA—iFIX软件现场实时采集的生产数据,在VisualStudio平台中开发出一套完整的钢铁连铸铸坯信息跟踪系统。     

现场总线功能块的建模与分析

功能块是实现现场智能仪表互操作、自诊断和自适应功能的基础。为了形式化地分析和模拟功能块及其构成的控制系统,本文建立了功能块的着色Petri网(CPN)模型。文中不但利用CPN模型分析了单一功能块内部的模式转换和参数状态传播过程,并且分析了功能块构成控制系统中的不同功能块的模式和参数状态之间的相互关系。基于功能块的锅炉水位控制系统应用过程的建模与分析表明,CPN模型完全胜任上述要求。     

基于广义随机Petri网的系统可靠性建模与仿真软件开发

研究了基于Petri网理论的系统可靠性建模及求解问题.采用广义随机Petri网(GSPN)建立系统可靠性模型.针对因状态空间爆炸带来的模型求解难题,开发基于GSPN模型的可靠性仿真软件.分析了仿真软件功能,给出了软件架构及其使用流程,介绍了软件的实现技术.以挖掘机回转工况的液压回路为例,给出仿真软件的应用.     

基于Petri网的柔性装配单元建模及PLC程序设计

将柔性装配单元的费源和操作表示为Petri网（PN）的库所和变迁,建立不会发生死锁的柔性装配单元PN模型。根据PN的变迁触发条件和标识变化规则,列出由资源、操作和条件组成的逻辑表达式,将表达式元素问的逻辑“与”、“或”关系和PLC梯形图的“串”、“并”触点相对应,可以方便地把逻辑表达式转化为PLC的梯形图程序。通过实例表明建立的柔性装配单元的PN模型可以有效的避免系统死锁,而且根据PN模型能够方便地设计出符合装配控制要求的PLC梯形图控制程序。     

基于层次时间Petri网的工作流模型可达性分析方法

为了有效管理工作流,需要对工作流模型进行合理性分析与验证.为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法.证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的.在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法.通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性.     

基于Petri网的FMS教学系统控制器设计

以文献［１］提出的实时控制Ｐｅｔｒｉ网（ＲＣＰＷ：Ｒｅａｌ－ｔｉｍｅｃｏｎｔｒｏｌＰｅｔｒｉＮｅｔ）为础，为柔性制造教学系统设计了一个实时协调控制器，并给出了控制器的硬件结构以及软件设计过程。为验证ＦＭＳＰｅｔｒｉ网控制器软件自动设计方法打下了基础