基于信号解释Petri网的可重构逻辑控制器分析与设计

为适应可重构制造系统这一新生产模式的顺序控制，本提出了基于信号解释Petri网的可重构逻辑控制器分析和设计的方法．该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构．确定了可达图法和化简技术结合的SIPN模型形式分析方法及步骤，采用透明度指标对模型进行评价，并给出控制器重构能力分析原则．接着将该理论及方法用于一可重构装配生产线可重构逻辑控制器的建模和分析案例中．分析结果表明设计的可重构逻辑控制器形式正确、有效，具有可重构能力．最后提出逻辑控制器建模、分析、仿真、代码生成和逻辑控制实施的软件平台，该软件采用CORBA组件模型的软组件技术开发．     

基于改进的网重写系统的Petri网逻辑控制器的自重构方法

提出一种基于改进的网重写系统的可重构制造系统的Petri网模型的自重构方法。通过改进,克服了网重写系统的若干固有缺陷,提出了Petri网逻辑控制器的自重构方法,这种方法能保证重构中逻辑控制器的正确性,避免复杂的数学分析验证。通过可重构制造单元的实例演示了该方法,并验证了其有效性。     

基于扩展Petri网的控制器设计与分析

定义了一类扩展Ｐｅｔｒｉ网及其引发规划，标志矩阵和关联矩阵，并基于矩阵－状态方程，构造了一种适于该网模型分析的启发式算法，提出了一种由表征系统的期望动态行为的令牌流构造系统控制器的设计方法，并用上述启发式算法对其进行了分析，验证，最后给出了实例。     

支持动态重构的制造系统逻辑控制器设计方法

支持动态重构的制造系统可通过组元升级、组态调整形成新的生产能力和功能,针对制造系统混流生产、快速重构的特点,其逻辑控制器也必须适应这一要求.提出了一种基于可重构Petri网的制造系统逻辑控制器设计方法.首先,根据制造系统的加工控制需求建立逻辑控制器形式化模型;其次,根据系统重构方式给出网重写规则;最后,逻辑控制器根据重写规则动态重构自身结构以适应新的生产需求.制造系统的变化通过重写规则可快速、自动重构成新的系统逻辑控制器并且其行为特性是可判定的.实际应用证明了该逻辑控制器设计方法的有效性和正确性.     

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

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

基于Petri网的产品重构描述及规划

为满足制造商需要快速地对市场变化做出响应的需求,需要研究产品重构领域中产品重构模型的描述和确定可重构产品的重构序列。该文对已有的一些装配和拆卸的描述方法进行分析,基于Petri网提出一种对可重构产品进行描述的有效方法,解决了重构接口表示的问题。提出一种考虑经济性的重构算法,使用重构成本矩阵,可以有效搜索重构路径。该文以可重构并联机器的典型驱动支链为例,验证了该方法的可行性。     

基于Petri网的产品重构描述及规划

为满足制造商需要快速地对市场变化做出响应的需求,需要研究产品重构领域中产品重构模型的描述和确定可重构产品的重构序列。该文对已有的一些装配和拆卸的描述方法进行分析,基于Petri网提出了一种对可重构产品进行描述的有效方法,解决了重构接口表示的问题。提出了一种考虑经济性的重构算法,使用重构成本矩阵,可以有效搜索重构路径。该文以可重构并联机器的典型驱动支链为例,验证了该方法的可行性。     

一种基于工作站Petri网模型的混流装配线重构方法

针对由需求的短期、大幅变动导致的混流装配线产能不足问题,提出了一种基于设备添加方式的混流装配线重构方法.该方法通过任务量对代表产品的等值转化,可依据交货期判断当前装配线产能是否满足要求,并根据产能需求调整装配线结构,最终给出完成订单的设备集.研究结果表明:对于不同订单,装配线的能力不足和能力过剩设备集不尽相同.本文所提方法可直接作为混流装配线重构的方案,也可以作为混流装配线间线线平衡和外协加工等其他产能调整方案的参考依据.     

基于Petri网的车间控制器平台研究

着重于车间控制器的开放性提出了车间控制器平台的体系结构.车间控制器平台的核心是运控Petri网.该文给出了运控Petri网的定义.和一般的Petri网相比,运控Petri网主要增加了控制规则以及和外部信息进行交互的接口.实现外部接口的技术方案是车间控制器平台的关键技术,这些接口包括控制设备的虚拟制造设备(VMD)接口、数据库访问接口以及文件访问接口,通过这些外部接口为车间调度提供了全面的车间信息.     

基于逻辑混合Petri网的混合系统建模与分析

逻辑Petri网可以建模和分析复杂业务过程,但无法描述混合系统.基于此,提出逻辑混合Petri网.首先,扩展逻辑表达式的定义用于描述混合系统,并在逻辑输出中加入修正表达式.其次,针对逻辑变迁的表达不确定性以及连续变迁的连续性,提出标识求解方程.再次,为详尽地描述系统的连续动态属性,在连续库所上添加连续变化的速度和时间,...     

基于Petri网的工作流模型的研究与仿真

对于复杂的基于Petri网的工作流模型进行合理性分析是非常重要的,依据四种基本模型对复杂的工作流模型进行等价分层简化,根据串联、并联和选择模型的等价服务时间计算方法对简化模型进行计算,建立模型仿真,从理论计算和仿真实现上分析其合理性。     

基于Petri网的兵团空间信息系统运行管理模型

Petri网由于具有图形化和数学化的双重特点,是系统业务过程建模、分析、优化、管理与集成的优秀技术,得到了广泛的应用.简要介绍Petri网,并对兵团空间信息系统进行了分析,然后利用Petri网建模技术来刻画兵团空间信息系统运行管理过程,通过构建管理模型来对系统实施有效的管理,以达到安全、可靠、方便地为兵团各类用户提供服...     

基于Petri网的分布式网络单元流量优化

建立了基于Petri网的分布式网络基本模型DNMPN,实现了分布式计算机网络的基本功能,并在此基础上提出了流量优化的Petri网分布式网络模型DNMPNTO,改进了基本模型的重复转发问题。DNMPNTO具有很好的可扩展性,有效地优化了网络单元的流量,提高了网络系统的效率,适用于建立大中型分布式网络系统。     

基于LabVIEW的Petri网控制器实现

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

基于随机Petri网的通信线路抢占式服务分析

随机Petri网是一种图形化的数学建模工具。对基于随机Petri网的具有抢占式服务策略的通信线路进行了分析。为了实现高优先级用户对低优先级用户服务中断的模拟，采用了基于变迁的抑制弧。推导了瞬时概率的表达式。最后，针对2个不同用户的实例，给出了M／G／1／2／2排队模型的分析结果。     

基于随机Petri网的通信线路抢占式服务分析

随机Petri网是一种图形化的数学建模工具.对基于随机Petri网的具有抢占式服务策略的通信线 路进行了分析.为了实现高优先级用户对低优先级用户服务中断的模拟,采用了基于变迁的抑制弧.推导 了瞬时概率的表达式.最后,针对2个不同用户的实例,给出了M/G/1/2/2排队模型的分析结果.     

基于有色Petri网的逻辑电路仿真模型设计

提出了一种受控有色Petri网(CCPN)模型.该模型在有色Petri网的基础上对逻辑电路的拓扑结构和动态运行过程进行了形式化描述,给出了逻辑电路与CCPN的映射关系,引入了受控门函数集,并按照充分考虑逻辑电路特殊性和稳定性的激发规则,加入了有效的约定,较好地解决了逻辑电路仿真过程中电路拓扑结构难以有效描述的问题.在此基础上,给出了信号在模型中动态传递的描述性算法及其实现方法,并举例说明了基于该模型的逻辑电路仿真过程.     

基于Petri网的皮带机控制模型分析

文章以Petri网理论为基础,构建了煤矿井下皮带机顺序控制系统的网络模型,并根据皮带机控制系统的设计要求,分析了控制模型的组织结构和行为特征。利用该模型对皮带机控制系统的设计进行了探讨,并得到符合控制要求的逻辑规则表达式。