机组组合问题的复合控制有色Petri网模型

文章针对有色Petri网对复杂控制系统建模的不便之处进行了改进:使各种控制条件直接作用于有色Petri网的可控变迁,将变迁分为时钟推进控制变迁、外部事件控制变迁、不可控变迁和计算用变迁四种,并提出了一种复合控制有色Petri网(CCCP)模型。在某些情况下,由于触发颜色的不同,同一变迁可属于不同的类型,各类变迁的区别主要在于触发条件不同。文章还利用定义的CCCP对考虑时间约束的发电机组组合问题进行了建模、分析,并通过举例进一步阐述了CCCP在对机组组合这类复杂控制问题进行建模时的作用。该模型为机组组合问题提供了一个新的建模思想和较好的解决方案。

基于IDEF0的CIMS底层控制Petri网模型的自动生成方法

ＩＤＥＦ０广泛用于ＣＩＭＳ的功能说明，Ｐｅｔｒｉ网适用于对离散事件动态系统建模．在ＣＩＭＳ中，两者结合起来，对于ＣＩＭＳ底层控制、生产调度、动态仿真都具有重要意义．文中研究了ＩＤＥＦ０的形式化描述方法，讨论了有关概念，给出了由ＩＤＥＦ０生成Ｐｅｔｒｉ网的形式化方法，并用一例说明其整体思想．

基于随机高级Petri网的ATM网络接纳控制过程模型

本文提出了一个ＡＴＭ网络的接纳控制过程模型，此模型是基于随机高级Ｐｅｔｒｉ网的层次模型方法。在复杂的ＡＴＭ网络的接纳控制过程模型中，使用了从顶向下的模型方法。在模型的性能分析中，则采用了从底向上的分解、压缩的方法。这种方法简化了复杂系统模型的状态空间爆炸问题。

基于Petri网的强制访问控制模型及其安全分析

强制访问控制模型(MAC)是一种重要的安全模型.在多级安全的格模型和Bell-LaPadula安全模型的基础上,对MAC安全模型进行了形式化描述,并给出了与其等价的着色Petri网模型.在Petri网状态可达图的基础上,对MAC模型的有关安全属性,如主体访问客体的时序关系,主体访问的可达性,因主体的动态安全级访问而存在的安全隐患以及因主体对客体的间接访问而导致敏感信息的可推测性等进行了较为详细地分析.通过对一个安全模型的范例分析,结果表明:基于Petri网的安全模型的分析方法可以充分利用现有的可达图的分析方法来对系统安全模型的有关性质进行分析和验证,能够在安全模型的设计和实现阶段有效地改善系统的总体安全策略.

OFDMA系统中接纳控制的Petri网模型

利用Petri网构造了OFDMA系统中接纳控制的模型。接纳控制在OFDMA系统中起着很重要的作用,而随着用户需求的不断增长以及业务类型的多样化,建立一个合适的随机服务模型对于接纳控制来说尤为重要。Petri网采用可视化图形描述系统的静态结构和动态结构,为系统的随机服务模型提供了良好的描述手段。仿真和理论分析的结果完全吻合,表明把Petri网用于构造移动通信系统的无线资源管理模型是完全可行的。

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

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

机器人装配状态变迁控制的同步Petri网模型

采用同步Petri网对机器人自动化装配过程进行建模 ,更加全面地反映了装配状态变迁过程中的力 /位姿信息特征 ,在此基础上研究了任务级上装配状态变迁路径的评价方法及优化算法 ,该方法可用于指导产生具体的装配命令并可在不确定性存在时收敛到最终装配状态。

化工间歇过程的时间Petri网模型和优化控制

针对化工间歇生产过程的特点及优化问题，本文提出用时间Petri网对过程建模，用动态规化方法对过程实行优化控制，并研究了该优化策略下的算法和控制设计问题．

一个基于Petri网的软件并行开发控制模型

软件开发活动的并行化是缩短软件开发周期、加快软件开发速度的有效途径。本文提出了一个基于Ｐｅｔｒｉ网的支持软件并行开发的并行控制模型ＣＣＭ及其构造方法，从而为实现软件并行开发的有效控制和开发相应的ＣＡＳＥ系统奠定了基础。

应用于PLC控制程序的Petri网执行模型

在现有的工业控制系统中经常使用PLC实现顺序控制、定时等功能。控制程序经常需要执行同步操作且输入开关量的触发时机具有不确定性,因此无法充分描述真实的执行过程。为此提出下述解决方法:首先在控制程序的编译阶段,使用Petri网建立网模型以表示程序执行逻辑,其次在控制程序的执行阶段,根据程序真实执行状况动态运行上述网模型,当程序运行结束时网模型停止执行,由此判断程序中存在的逻辑错误。

基于角色的访问控制Petri网及协商树模型

针对基于角色的访问控制自动机等模型存在的缺陷,对Petri网进行了改进,并将改进后的Petri网应用于基于角色的访问控制中,实现了基于角色的访问控制Petri网.在角色转换过程的条件控制中,提出了协商树的方法,描述双方证书协商、形成协商树、满足角色转换条件、使角色转换得以实现的过程,实现了较为完整的基于角色的访问控制Petri网.

基于Petri网的数据库系统并发控制模型

该文对数据库系统中事务的并发操作进行了分析,讨论了共享资源的Petri网模型及其行为。给出了数据库系统中事务并发控制的Petri网模型,有效地克服了由事务的并发操作引起的各种数据不一致问题。

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

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

基于面向对象智能Petri网的FMS单元控制模型

单元控制器是 CIMS递阶控制模型中具有决策功能的最小自治单位 ,在实时性和可重用性方面有较高要求。提出了一种基于面向对象智能Petri网的离散制造单元控制系统模型 ,该模型可以表示高级调度知识 ,可重用性强 ,便于开发高效、可靠的单元控制系统。讨论了面向对象智能 Petri网的定义、运行冲突分析和建模方法 。

有色Petri网的扩展使用控制策略模型设计

为解决目前UCON模型和策略规范存在系统应用功能与安全策略集成性差、缺少事后义务和无并发性控制问题,通过定义行为、安全和并发规则,提出了一种扩展的使用控制策略,采用有色Petri网技术,达到形式化定义、分析的目的,为将来的研究工作提供基础。

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

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

基于Petri网的电子商务安全控制模型

文章对电子商务的安全体系进行了分析,从过程控制角度探讨了电子商务的安全问题。根据电子商务系统的安全控制体系结构,构造了一个基于Petri网的电子商务安全控制模型。

基于Petri网模型的FMS控制决策方法研究

应用Petri网理论 ,通过对现有FMS(柔性制造系统 )进行分析和研究 ,确定了该FMS中的各状态和事件及其因果关系 ,建立了实际FMS的Petri网模型。通过该模型的描述和对FMS实际运行情况进行分析 ,建立了优化调度控制规则。依据模型和调度控制规则 ,构造了该FMS管理与控制软件 。

使用控制授权模型的Petri网描述

使用控制是最有希望的下一代数字资源使用保护技术,Petri网能够描述使用控制模型的分布、并发、同步等特征,是表达和研究使用控制模型的有效技术。该文定义了使用前授权过程和使用中授权过程的策略规则,采用Petri网进行了表达,分析了Petri网模型能够表达授权控制模型的使用授权策略,给出了使用控制授权模型的有色Petri网表示。

基于Petri网的城市交通控制混合系统模型

城市道路交通信号控制是典型的混合动态系统,既包含连续状态变量又包含离散状态变量。本文归纳研究了信号控制交叉口群的主要构成元素:交通信号控制、交叉口与道路路段,其中交通信号控制与交叉口两个元素属于离散事件动态系统(DEDS),而道路路段交通流属于连续时间动态系统(CVDS)。然后,应用混合系统建模理论,分别构筑了交通信号控制的petri网模型、交叉口的petri网模型、道路路段交通流的连续系统模型,以及交叉口petri网模型与路段交通流模型之间的接口。该模型具有既能够进行交通控制信号优化与交通阻塞机理解析应用,又便于计算机软件实现的优点。