基于Petri网的Stateflow建模方法的研究与应用

以输送机器人生产线控制系统设计为例,提出将基于Petri网的Stateflow建模仿真方法应用于PLC控制软件的开发过程中。首先利用Petri网对系统控制功能进行分析,结果表明系统在运行时序上存在并行冲突,采用Petri网的数学建模功能协调冲突后,通过可达图验证了此Petri网模型是安全无死锁的;其次在上述基础上将Petri网与Stateflow组成元素相对应并进行转换;最后利用Simulink构建模型进行系统仿真分析,证明输送机器人生产线控制逻辑正确,状态转移有效。     

着色Petri网在科技计划项目管理系统建模中的应用

在深入研究科技计划项目管理业务基础上,鉴于Petri网的特点,提出了利用着色Petri网建模科技计划项目管理系统的方法.分析了着色Petri网适合于系统建模的原因,以项目管理评审环节为例讨论了着色Petri网在建模中的应用,并建立了基于着色Petri网的系统模型.通过对该模型的分析仿真结果表明,该方法是可行和有效的.     

VPML OOPN集成建模方法的设计与实现*

为了支持对企业业务流程进行建模和分析,辅助过程改进,提出了VPML-OOPN集成建模方法.该建模方法是利用可视化过程建模语言VPML建立企业过程模型,然后将该过程模型映射为面向对象Petri网模型.通过Petri网模型的分析和仿真,其结果可用于修正和改进模型设计.     

基于Petri网航空电气抢修系统建模

讨论了一种基于分层着色Petri网理论建立航空电气抢修系统模型的方法.这种方法是通过引入复杂库所和Petri子网来对原有的电气抢修系统模型进行改造,克服了以往用普通Petri网建模的不足,使模型变得直观、简单,并有利于模型分析和仿真实现.     

晶圆制造单元的Petri网建模和性能分析

晶圆制造是半导体制造过程中的一个重要环节,晶圆制造单元的性能直接影响晶圆制造的成本。为了有效地分析晶圆制造单元的动态性能,分别对加工设备存在瓶颈和搬运机器人存在瓶颈的两种情况,进行了赋时Petri网建模研究,建立了晶圆制造单元的赋时Petri网模型。在此基础上,进行了稳态生产率分析,同时用实例验证了模型的有效性和实用性。     

应急预案流程的Petri网建模方法研究

为了提高应急信息系统模型的语义基础,提出了一种基于Petri网的应急预案流程的建模方法。以ABC模型为上位本体建立了应急预案流程本体,提出了应急预案流程的Petri网建模过程,并定义了应急预案流程中本体和层次Petri网的映射规则。使用该方法对某公路桥梁抢修应急预案流程进行Petri网建模,并通过仿真分析验证了建模方法的有效性。     

基于分层Petri网的半导体生产线建模

论文提出了一种分层Petri网模型用于半导体生产线建模。首先,总结了Petri网在半导体生产线建模中的应用,继而给出了分层Petri网的定义及其建模过程。最后以一个典型的半导体生产线为例,进行该方法的应用研究。     

基于Petri网的组合设备建模与调度综述

组合设备是半导体晶圆制造的核心装备,其调度与控制优化是半导体制造领域极具挑战性的课题. Petri网因其强大的建模能力和简约的图形化表达优势,被广泛地应用于组合设备的建模与调度.对基于Petri网的组合设备建模与调度方法进行综述,归纳总结了组合设备的结构类型、晶圆流模式、调度策略及Petri网建模方法,并系统阐述组合设备的7类典型调度问题,包括驻留时间约束、作业时间波动、晶圆重入加工、多品种晶圆加工、加工模块(Process module, PM)故障、PM清洗和组合设备群.最后,讨论了当前组合设备调度存在的挑战及后续可能的研究方向.     

基于Petri网的半导体生产线建模

总结了Petri网在半导体生产线建模中的应用,着重针对半导体生产线大规模,可重入,可靠性,混合加工方式,不确定性等特殊复杂性,对多种扩展Petri网模型进行了分析和比较,并进一步探讨了基于Petri网模型和扩展Petri网模型的半导体生产线建模方式,指出了存在的问题,并探讨了可能的研究方向。     

基于扩展混合Petri网的晶圆制造系统建模

提出了一种扩展的面向对象混合Petri网（EOHPN）的建模方法：针对晶圆制造系统的复杂性，在EOHPN模型中融入了面向对象的抽象机制；为了减少系统建模的复杂性，引入混合Petri网并用面向对象建模技术作了扩展。在定义EOHPN模型的基础上，作了对象模型的拓展。用实例描述了基于EOHPN的晶圆制造系统的建模过程，验证了模型在处理系统建模时的有效性。     

Petri网在C3I系统仿真建模中的应用

建模仿真技术是C^3I系统性能评估、C^3I系统仿真分析与设计的一个重要方法。该文介绍了Petri网的基本概念,说明了Petri网建模的特征;给出了一种应用于C^3I系统仿真研究的建模方法：应用Petri网对C^3I系统进行分析与设计,实现从C^3I系统的组织框图到Petri网数学模型的转换;指出了Petrl网在C^3I系统仿真建模方面的不足和改进方向。最后,该文给出了用Petri网建模的一个简单应用实例。     

基于XML的生物代谢Petri网模型的标准化

针对分析生物代谢网络的需要，构建了生物代谢Petri网模型建模环境，并采用基于XML的Petri网标记语言PNML为标准，利用DOM实现XML解析，完成Petri网模型的标准化，通过对代谢网络Petri网模型实例的仿真，验证了标准化模型的正确性。     

一种利用UML的Petri网软件实现方法

Petri网既是一种图形化建模工具，又是一种形式化数学工具。Petri网具有对并发、并行、分布、异步系统进行验证仿真的能力。但是，Petri网是用来描述和分析要开发的系统模型的工具。不是计算机的实现工具，必须要通过一定的方法才能将Petri网用软件来实现。由于UML(统一建模语言)具有友善的用户界面，易于编程实现，故提出一种利用UML作为过渡的Petri网软件实现方法。     

基于受控时间Petri网的车辆检测过程模型

针对汽车检测线运行效率评估及确保给定数量车辆检测时间最短的问题,通过分析检测过程中的驱动事件和状态演变,给出了车辆调度的约束条件,在此基础上把模型中的时间约束与受控Petri网相结合,提出了受控时间Petri网（Controlled Time Petri Nets）模型,采用该模型对检测线调度过程中的节拍控制与车辆调度进行可视化的建模与分析。实践表明对于多批次车辆检测任务采用该过程模型可明显缩短检测时间。     

基于Stateflow的Petri网仿真方法

Stateflow是matlab环境下与simulink整合在一起的专门用来对复杂响应系统和事件驱动系统进行仿真的工具箱。应用其对Petri网模型进行仿真,提出了一种对Petri中资源的分类方法,根据petri网中资源的流通方式将资源分为循环资源、非循环资源．及隐性资源。并结合变迁的个数和激活方式给出了从一个已知的Petri网构造其相应的Stateflow的具体规则．及详细步骤,最后结合某汽车冲压单元的建模进行举例说明。构造过程显示出文中提出的仿真方法具有使用简单、通用性强、扩展性好的特点。     

Petri网及其扩展研究

Petri网是一种应用非常广泛的建模工具。首先给出了基本Petri网的概念,在此基础上对多种Petri网进行了广泛的研究,包括时间因素Petri网、有色Petri网、面向对象Petri网、模糊Petri网及受控Petri网,并针对每种Petri网的特点和应用范围进行了讨论,提出了Petri网当前发展的方向和急需解决的热点问题。     

基于Petri网和Agent的复杂适应系统建模

针对复杂适应系统内部关系繁杂、难于描述及计算机仿真建模困难等问题,提出一种基于时间Petri网和多Agent相结合的建模方法.以Agent为基本建模元素,用Petri网描述Agent内部的行为规则,实现复杂适应系统的Petri网与多Agent相结合的有机建模,可避免Petri网建模引起的模型空间爆炸和Agent内部推理...     

基于随机Petri网的SPN2软件建模方法研究

随机Petri网(SPN)在进行系统性能分析时,其状态空间随着系统规模的增大而呈指数性增长,造成系统建模复杂。针对该问题,结合面向对象Petri网理论(OOPN)提出一种SPN2方法,与传统SPN方法相比,SPN2方法可进行分层及面向对象网中网建模,并应用该方法仿真高速列车在移动闭塞区间条件下GSM-R铁路无线通信系统的可靠性。     

排队系统的着色Petri网建模与分析

着色Petri网（CPN）是研究离散事件动态系统的有力工具,将着色Petri网引入排队系统建模中,能弥补排队模型缺乏动态逻辑行为分析能力的不足。针对排队系统一般模型建立顶层结构模型,并对排队系统的4个要素给出了具体的CPN描述。给出一个具体实例,阐明排队系统的CPN分析法的使用,利用仿真工具CPN-Tools对模型仿真实现,仿真结果与数学模型得出的理论值对比分析,验证了可行性。     

物资调运过程的PETRI网建模及仿真

本文对三峡工程水泥调运过程用ＰＥＴＲＩ网进行建模，指出了进行调运的关键库所和变迁。讨论了拌和浇筑环节 ＰＥＴＲＩ网模的可能存在的不良特性。为解决此类问题设计了仿真器，它很好地实现了调度模拟的功能。同时给出了仿真器的框架和ＤＳＰ怕仿真