基于Petri网和BOM的拆卸建模方法研究

基于Petri网理论提出了虚拟拆卸网模型,关键技术是同步器对变迁的逻辑关系的确定.给出了其库所、变迁以及托肯的含义.基于基本对象模型提出了虚拟拆卸交互模型VDIM,研究了从网到VDIM的实体类型、事件类型、交互模式以及状态机的映射原理,并讨论了VDIM的模型可组合性.从联邦成员的划分,时间管理和同步管理三个方面研究了网模型和VDIM模型中仿真信息的融合,以便直接用于仿真系统的开发.最后的实例证明了研究的可行性.     

基于随机Petri网的FMS建模及其性能分析

FMS是复杂、大型的系统，利用Petri网的特有性质能很好地分析FMS系统。首先概述了柔性制造系统和随机Petri网的特征，结合一柔性制造系统的实例，通过随机Petri网建模，分析了FMS的多项性能指标；最后简要介绍了一种模拟软件StpnPlay，并用其对随机任务随机时间进行模拟。在实际应用中可以借助一些模拟软件实现模拟结果，以供管理者参考系统的可行性。     

厂用电继电保护系统仿真建模研究

基于模块化建模方法．对独立存在的厂用电继电保护系统仿真模块进行了分析和建模，给出了电流互感器、中间继电器、时间继电器、电流继电器等的仿真模型；建立了典型断路器控制回路和电流速断保护仿真数学模型。将所建模型应用到某火电厂培训仿真机上，取得了满意的效果。     

基于Petri网的智能控制结构建模

智能控制具有递阶结构，按照精度提高智能降低的原理依次为组织级，协调级和执行级，本文提出用Ｐｅｔｒｉ网对智能控制递阶结构中组织级的任务规划和协调级进行建模，并提出用Ｐｅｔｒｉ网进行任务分解的方法，本研究对于智能控制的知识表示方法研究有一定的参考意义，并对于机器人系统设计与分析具有重要的理论与应用价值。     

基于Petri网的固定结构决策组织建模技术研究

在指挥自动化系统中,固定结构决策组织模型的建立存在多维性、复杂性、开发研制周期长、耗资巨大等问题,仿真技术为这类问题的解决提供了一条途径,而建模技术对仿真的有效实施提供了保障．文中在对现有固定结构决策组织建模技术深入分析的基础上,提出一种基于格论生成法和两阶段生成法相结合的建模方法．该方法具有可在不同抽象级别上变换的特点,更适合描述系统状态的改变,提高系统设计开发效率．     

基于扩展Petri网的PPCES建模研究

针对Job—shop型生产系统中NP难度的调度问题，利用生产计划与控制专家系统(PPCES)进行启发式搜索，根据Petri网建模原理及PPCES的推理需要，对生产系统建模，定义了一类扩展有色、时间Petri网．实践证明，这种方法不仅可以在增强模型描述能力的同时有效地降低其复杂度，还可以应用专家系统领域的知识指导系统进行冲突消解，从而避免了常规分析方法所带来的组合爆炸问题．     

制造系统的Petri网建模

应用Petri网对作为离散事件动态系统的一个简单制造系统进行了建模分析,阐述了Petri网建模的主要特征及方法,介绍了Petri网在制造系统描述中的应用,并以某机器制造车间为研究对象进行了实际建模,给出了相应的Petri网模型.     

基于Petri网的医疗流程建模优化

为减少患者就医时抽血化验的次数,提出了一种基于Petri网的医疗流程模型的优化分析方法.首先介绍了Petri网的基本概念; 然后在确保合理的医疗流程前提下,通过合并变迁对医疗流程进行了建模优化; 最后利用PIPE软件对优化后的模型进行了模拟运行,结果表明本文方法能够有效改善医疗流程,节省医疗资源.     

基于Petri网的建筑施工流程优化建模

用Petri网建立了建筑施工流程的优化模型,模型形象描述了建筑过程中施工流程的因果关系,并以总工期为优化目标,给出了优化算法,判别出整个施工过程中的关键流程,对关键流程进行优化,从而达到对整个建筑施工流程的优化,并可以计算出其它非关键流程的缓冲时间。     

基于Petri网的制造单元建模与仿真

运用基本Petri网建立了面向仿真的、分层的制造单元模型。通过对系统的分层,使位于下层的具体加工形式可扩展;而选择层使得制造单元可以运用与零件工艺相适应的调度规则和加工形式。对模型的性能进行了分析．最后给出了以此模型为基础的仿真应用系统,通过实例验证了模型的正确性和先进性。     

赋时Petri网的一种符号分析算法

有序二叉决策图（0rdered Binary Decision Disgram-OBDD）是布尔函数表示的规范型，布尔函数的复杂运算可以基于OBDD得到极大地简化实现。在讨论基于OBDD的有界Petri网符号分析算法的基础上，对赋时位置Petri网的符号分析进行了研究，构造了一种扩展标识向量，给出了赋时Petri网分析的一种符号OBDD算法，实现了赋时Petri网的隐式描述与分析。实验表明，符号算法能处理较大规模赋时Petri网问题。     

赋时Petri网的一种符号分析算法

有序二叉决策图(Ordered Binary Decision Disgram-OBDD)是布尔函数表示的规范型,布尔函数的复杂运算可以基于OBDD得到极大地简化实现.在讨论基于OBDD的有界Petri网符号分析算法的基础上,对赋时位置Petri网的符号分析进行了研究,构造了一种扩展标识向量,给出了赋时Petri网分析的一种符号OBDD算法,实现了赋时Petri网的隐式描述与分析.实验表明,符号算法能处理较大规模赋时Petri网问题.     

基于Petri网的底盘总装线人员配置优化研究

客车底盘总装线生产属于离散事件动态系统(DEDS),针对作业任务对作业人员这种资源存在共享、独占等关系,利用自顶向下的建模方式构建时间Petri网模型,对客车底盘总装线的人员配置进行优化,给出了人员配置的方法与步骤.实例分析表明,时间Petri网模型可以用来优化总装线人员配置,提高劳动生产率.     

基于Petri网的高混凝土坝施工机械配套优化仿真

高混凝土坝施工过程中,施工机械配套问题的复杂多样性是影响施工的瓶颈.在将高混凝土坝施工过程抽象为一个复杂多级有限源随机服务系统的基础上,将施工机械作为库所的元素,元素状态的变化过程作为变迁,根据施工过程中库所和变迁之间的逻辑关系构建了高混凝土坝施工系统的赋时Petri网仿真模型,并利用面向对象的仿真方法编制了该模型的仿真程序.仿真计算结果分析表明,该模型能够有效地解决施工过程中施工机械之间相互关联、制约、同步和资源共享等问题,优化了施工机械的配套方案,较好地反映了施工机械状态的动态变化情况.     

面向ERP实施过程的模糊Petri网评价模型

为了避免企业资源计划(ERP)实施过程中的风险,保证ERP项目的成功实施,具体阐述了ERP实施一般过程及影响ERP实施的关键因素,建立了ERP实施过程评价指标体系,并给出了一种基于模糊Petri网的评价模型及评价方法.该评价模型直观简便,具有严密的数学理论支持,便于计算机实现,使ERP实施过程的评价达到定量化.最后给出相应实例予以说明.     

基于Petri网的地下洞室出渣系统建模仿真

出渣是控制开挖进度的重要工序,如何配备最适宜的自卸汽车台数,使装载机的利用率最高、岔口前排队概率最小,保证出渣运输工作顺利进行,同时满足不同道路等级的行车密度要求,是出渣过程中需要考虑的问题.结合溪洛渡工程,将地下厂房洞室群多工作面、多工种交叉作业情况下的出渣问题抽象为有限源多级随机服务系统,重点介绍了应用Petri网理论建立出渣系统模拟模型和模型实现的过程,并采用三阶段法的仿真策略,对水电站地下洞室群出渣系统进行仿真研究,取得了与实际情况相近的仿真模拟成果,为机械方案的优选提供了决策支持.     

基于抑制弧Petri网的离散事件系统的监控理论综述

利用Petri网的抑制弧实现离散事件系统的监控是离散事件系统监控理论的一个新进展。对抑制弧Petri网作了简单的介绍，并给出了该监控理论的基本原理．详细地回顾和总结了该理论的四种方法，即：结合自动机的字符串避免方法、抑制弧方法、基于抑制弧的状态避免控制器方法以及加权抑制弧方法，分别分析了这几种方法各自的利弊。最后对其可能的发展作了展望。     

混流制造系统的Petri网建模与仿真研究

以赋时Petri网为分析工具,将混流制造系统工艺流程、产品类型标识、缓冲区和加工时间等用基本Pe-tri网语言表示,建立了基于赋时库所Petri网的混流制造系统模型,从全局观点描述事件之间的顺序、并发和同步等关系,并基于该模型,进一步分析混流制造系统的性能,包括操作间的逻辑约束关系、资源冲突、生产能力和设备利用率等。相关实例的仿真结果证明了该模型的有效性。     

基于受控Petri网的物流实验系统的研究

随着控制系统的复杂化,传统的方法已经不能很好地用于描述离散事件系统(简称DES)了.为此,定义了一种受控Petri网(简称CPN),并对其中冲突事件的避免进行了探讨.针对物流实验系统中被控点数较多、控制过程也较为复杂的特点,利用CPN技术对系统进行建模,较好地解决了系统中存在的一系列协调、竞争以及并发事件,有效地避免了冲突事件的发生,同时对于系统的CPN模型利用PLC加以实现,并验证其正确性及其可靠性.     

Petri网的融合系统建模与仿真

Colored Petri网是Petri网建模与仿真技术的前沿,通过使用CPN-tools仿真软件对两种融合结构(集中式和分布式融合)进行建模。在同一运行规则下,通过设置相同的参数进行建模仿真,结果表明该模型和方法是合理和有效的,可以作为进一步仿真的基础模型。