FMS的一种实时控制Petri网模型及应用

提出了一种对ＦＭＳ（ＦｌｅｘｉｂｌｅＭａｎｕｆａｃｔｕｒｉｎｇＳｙｓｔｅｍ——柔性制造系统）实时控制进行建模的Ｐｅｔｒｉ网工具——实时控制Ｐｅｔｒｉ网模型．该模型是通过对变迁和位置引入第二属性，即输出控制命令和传感器信息来实现的．最后用一个ＦＭＳ实例说明了建模过程．

基于EHLEP-N模型的FMS实时调度和控制

本文提出一种新的更适合柔性制造系统(FMS)建模的扩展高级E-Net,简称EHLEP-N(Extended High Level Evaluation Petri Net)。将EHLEP-N与专家系统技术相结合,使EHLEP-N对FMS更具有描述性,推理和决策能力。以EHLEP-N为FMS的建模工具,设计并建立FMS实时调度控制专家系统。借助于该系统,提出并研究新的旨在减少空闲(noinputs)和消除阻塞的实时动态再调度规则。加工实验结果表明:1) 该系统满足实时性和调度控制功能的要求;2) 新规则的产率(throughputs)比传统规则平均提高7％。

扩展Petri网在实时数据库并发控制中的应用

提出了初始化弧的概念,并将这一概念引入高级时间Petri网中,从而给出了扩展的高级时间Petri网(Extended High-Level Time Petri Nets-EHLTPN)。此外,在EHLTPN模型中,变迁所附加的常量时间区间扩展为变量时间区间。用EHLTPN对实时数据库系统的并发事务进行了建模,所建模型不仅可以描述并发事务在数据存取中所出现的各种现象,而且还可以实现2PL-LW协议所具有的可避免并发事务的无用重启、无用等待、无死锁的等功能。

机器人开放式控制系统软件调度的同步Petri网方法

采用同步Petri网对机器人实时软件调度系统建模,提出了多任务模块的时间监控指标和可调度性验证方法.可有效处理智能算法运行时间存在较大不确定性的情形.通过气浮平台同步运动控制以及机器人力控制试验,验证了所提出模型和可调度校验方法的有效性.

实时数据库并发控制协议及其Petri网分析

该文提出一种适用于实时数据库的新可推测并发控制(New Speculative Concurrency Control,NSCC)协议。该协议在传统的SCC协议基础之上,进行一系列改进,避免了大量不必要的事务重启,提高了并发度。最后,通过Petri网理论验证其可行性和正确性。

具有硬实时上限的受控赋时Petri网的控制综合

在实时离散事件系统（ＲＴＤＥＳ）中，有界事件和有效期事件是两类特殊的具有硬实时上限的离散事件，它们的模型描述相对较为复杂，对其控制研究也十分困难。通过为这两类事件找到一种可以用无界事件和强迫事件来描述的等价Ｐｅｔｒｉ网模型，可以简化ＲＴＤＥＳ的基本模型，同时很容易将陈浩勋［１］关于最大允许状态反馈逻辑的结论推广到简化受控赋时Ｐｅｔｒｉ网中，便可以对更广泛的ＲＴＤＥＳ进行研究。

自动化仓库(AS/RS)系统的petri网建模与研究

提出了一种实时控制的 petri 网(RCPN)模型,该模型通过对库所和变迁分别引入传输端口信息作为其属性来实现.基于此 petri 网模型,对自动化立体仓库输送系统运行过程的调度问题进行研究,建立了一种典型立体仓库输送系统的实时控制的 petri 网模型,并且对系统死锁进行了研究.

基于有色Petri网的点式-基于通信的列车控制系统切换实时性分析

点式‒基于通信的列车控制(BM-CBTC)多模列控系统的模式切换时延对城市轨道交通运营效率有着较大影响。分析点式‒基于通信的列车控制(BM-CBTC)系统模式切换功能及过程,建立基于有色Petri网(CPN)的模式切换模型,研究不同点式(BM)控制系统设计运行间隔下的系统切换实时性。实验表明,切换时延随着BM设计运行间隔增大而增加,当BM设计运行间隔为2 min时能将列车运行晚点时间控制在5 min以内。建立的CPN模型亦可为其他配置的多模列控系统切换的实时性分析作为参考。

柔性制造系统实时调度的有色Petri网和状态方程模型

柔性制造系统(FMS)的实时调度问题是一个典型的并发系统(CA),亦称为离散事件动态系统(DEDS).这是一类很复杂的动态系统,本文尝试用Petri网和有色Petri网对FMS的实时调度问题建立动态模型并同时给出了代数形式的状态方程模型.

基于UML状态图和Petri网的冷却水实时控制系统建模与分析

实时系统应用要求其必须有严格的正确性,UML及Petri网是保证其正确性的重要建模与分析方法。通过介绍Petri网的基本模型,阐述了UML状态图到Petri网模型的转换规则,通过生产线冷却水控制系统的实例描述了其在实时控制系统中的应用。

基于Petri网的单交叉路口实时控制建模

依据既定城市道路交通系统的逻辑规则、相位相序及周期长的特点,用普通Petri网(OPN)对单交叉路口交通信号四相位实时控制进行建模,并在此基础上对该模型进行仿真。再根据实际路口的情况实时调整参数,甚至可略微改动OPN的结构,使得相位相序的选择达到最优,实现自适应实时控制。

基于Petri网的化肥生产过程成本即时控制

以某化肥厂的化肥生产物流过程为例,基于Petri网模型对化肥生产过程成本即时控制进行分析研究。首先对该生产物流过程中成本控制所存在的问题进行分析,并对其进行模型优化,对关键的生产要素进行详尽的定义描述,最后给出相应的线性回归求解方法。对化肥生产过程成本进行控制的研究有利于降低企业的生产成本,增加企业效益。

变计时过程/变迁网模型及其应用研究

基于过程运行的离散标识(逻辑变量)和剩余时间连续标识(时间变量),提出一种新的混合标识过程/变迁网——变计时过程/变迁网模型.基于该模型,混杂动力学系统离散事件的实时监控、连续子过程的实时调度等问题可得到有效解决.

实时自适应交通信号控制CPN建模分析

以单路口交通控制为研究时象,指出了传统单路口控制策略中存在的一些缺陷,提出一种优化的交通信号控制策略:实时自适应控制。按照该策略,采用非固定相序控制方案,并提出了相应相位持续时间的具体算法。然后,建立了实时自适应策略的着色Petri网(CPN)模型,对CPN模型进行静态结构分析和动态仿真分析,检验并确认所提出的策略和算法的可行性;最后,通过建立交通信号控制的评价指标来对该策略进行评价。仿真结果表明,与固定相序、固定相位持续时间的策略相比,该实时自适应控制策略对单一十字路口实现了更为有效和优化的控制。

基于PC数控实时检测系统建模方法研究

为了解决在基于 PC的数控系统中快速构建实时检测系统的问题 ,采用着色时间网对实时检测系统建模 ,应用着色时间网统一地表达了检测系统在基于 PC数控系统中的时间关系、资源关系和系统的控制策略 。

基于现场总线的柔性制造系统信息实时控制

为实现对STAR-FMS柔性制造系统现场设备的实时控制,设计了基于PROFIBUS-DP的控制系统,解决了控制中心与现场设备的通信问题。阐述了系统构成、PROFIBUS-DP总线的控制方案、通信原理以及信息的实时控制。系统采用S7-300和WINCC作为主站,S7-200、ET200和变频器作为从站。以PROFIBUS-DP总线作为通信基础,既实现了对整个系统的集中控制,又能够分散控制各底层设备,同时使监控画面根据现场实际情况动态显示。应用结果表明,该控制系统设计可行,整个系统运行稳定、可靠,能够实现多级实时控制。

实时并发离散事件系统的监控

用受控赋时Ｐｅｔｒｉ网为具有并发事件的实时离散事件系统建模，并研究了这类模型下的监控问题，给出了实现给定并发事件语言的监控器存在的充要条件和一种动态监控方法．

改进的非抢优M/G/1CAN总线实时性分析

本文以CAN总线应用于牵引设备安全状态监测为例,着重研究消息的实时性。针对目前采用最长响应时间模型分析消息实时性时存在较大误差的问题和总线中消息与其优先级一一对应的特点,提出改进的非抢优M/G/1模型,以此研究总线负载率、排队长度、消息排队时延和响应时间等消息实时性指标。将最长响应时间模型与改进模型的消息实时性分析结果同基于着色Petri网的仿真结果相比,改进模型的分析结果远优于最长响应时间模型的分析结果,且与仿真结果相吻合。从而说明改进模型用于消息实时性分析的可行性和有效性。

ATM网络的一种实时传输调度和信元丢失控制的综合方案

本文提出了ATM网络的一种实时传输调度和信元丢失控制的综合方案．这种方案使用一个缓冲队列接收不同实时传输要求的信元，它能保证用户信元的实时传输要求、同步要求和信元丢失要求．本文给出了这种方案的随机Petri网性能分析模型，并给出模型分解和迭代的近似求解方法．

ATM网络基于队列长度阀值的传输调度

本文提出了ＡＴＭ网络的一种实时传输调度和信元丢失控制的综合方案．这种方案是基于队列长度阀值而设计的，它适应于ＡＴＭ网络面向连接的特性．本文给出了这种方案的随机Ｐｅｔｒｉ网性能模型，并给出模型分解和迭代的近似求解方法．