基于扩展混成Petri网的CPS无人车系统建模与分析

信息物理融合系统(Cyber-Physical System,CPS)是一个集计算系统、通信系统、感知系统、控制系统和物理系统于一体的复杂系统,其行为是一种由离散计算过程与连续物理过程深度融合并紧密交互的混成行为。针对这种特性,采用混成Petri网对CPS建模,并在此基础上添加时间约束,即对离散变迁关联一个延迟时间,对连续变迁关联一个激发速率函数,同时引入抑止弧和测试弧的概念以提高Petri网的表达能力,由此提出一种新的模型——扩展混成Petri网模型。然后,对CPS应用中无人驾驶车辆系统的躲避障碍物场景进行建模,将建立的模型按照一定的规则转化为与之对应的Simulink模型,并通过Matlab仿真对系统行为及属性进行分析。     

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

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

基于Petri网的项目审批建模分析

Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示。工作流技术作为实现企事业工作过程的有效手段,广泛应用于各种场合。在应用中,关键是建立适合企事业工作过程的工作流模型。本文主要介绍了Petri网和工作流模型的理论,以及基于Petri网的工作流建模方法,并给出了项目审批应用实例。     

基于Petri网的工作流建模

Petri网是计算机异步成分之间进行通信的理论基础.Petri网的应用涉及计算机学科的各个领域.文中运用Petri网工具来对工作流技术进行了详细的分析与描述,并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向,最后,文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型.     

基于Petri网的工作流建模与分析

工作流和工作流管理系统的合理应用可大大提高办公自动化的程度。基于Petri网的建模方法具有坚实的理论基础和直观的图形表示，是工作流和工作流管理系统建模和分析的理想工具。文章先讨论基于Petri网的工作流模型的建立和分析，接着给出了该模型在高考招生系统(NACUES)中的应用实例。最后，还针对NACUES系统的分布式特性对该模型扩充了本地工作流间的通信和互操作特性，这一扩充将对分布式查询和招生工作后期各项数据的统计工作有很大的简化作用。     

基于时间Petri网的工作流建模

随着工作流管理的发展,人们提出了很多扩展Petri网概念用于工作流建模。描述工作流中的资源、资源条件以及任务与资源条件之间的关系是一件很复杂的事情。而现有的用于描述工作流的Petri网在这方面,并不令人满意。该文特别强调资源的概念,在时间Petri网的基础上提出了一种新Petri网———资源条件/任务网(ResourceCondition/Tasknet,简称RC/TN),利用RC/TN网来进行工作流建模,描述工作流的执行过程。并将该工作流建模方法应用于OA流程的描述中。     

基于Petri网的MDA建模研究

随着工作流建模在MDA研究中地位日益突显,相关领域的研究工作受到越来越多的关注;考虑到现有建模方法在描述并发、冲突以及并行等复杂模型时所表现的局限性,文中提出了基于Petri网的MDA建模方法;在具体研究过程中,首先深人讨论了基于Petri网的复杂工作流建模方法和相关定义;接着,重点介绍了分支和汇合、自由选择冲突和复合工作流的建模过程以及相应的XML描述方法;最后,以某实际工作流为分析对象,应用文中提出的方法进行MDA工作流建模和分析.     

基于Petri网的容错系统分层建模

扩展Petri网的结构,将一般的控制管理系统改进为具有容错功能的控制管理系统,应用扩展Petri网对其进行分层建模,包括系统的基础层、检错层、恢复层。采用故障恢复策略并使用带有基于Petri网分层模型中状态标识的行为跟踪、行为检错和行为改错增加控制管理系统的容错功能,并分析了模型的正确性。     

基于Quantum PLC的炼钢转炉自动化系统

本文介绍了基于施耐德Quantum PLC的150t炼钢转炉自动化系统，从该转炉的工艺流程、技术要求和控制策略、系统解决方案和评价以及运行效果等方面进行了较为详细的描述。     

基于UML顺序图的Petri网建模

UEL（统一建模语言）是一种功能较强的面向对象图形建模工具，但其过程描述中缺乏严格的语义，而Petri网不仅有形象直观的图形描述还有严格的数学定义。针对一个简单运输系统的建模将二者结合起来，阐述了UML类图、顺序图的Petri网建模转换方法，避免直接进行Petri网建模过程的烦琐，使建模过程清晰可见。     

基于Petri网的采购业务流程建模及仿真优化

以国内某大型制造企业的采购业务流程为研究对象,用Petri网技术构建了现有环境下和优化后的采购流程模型,分别对这两种情况下的业务流程模型进行了时间定量分析,并利用ExSpect仿真软件模拟分析了原有采购流程及优化后流程的优劣。结果表明,通过应用信息技术和合理地选择供应商选择模式,提高了业务信息传递和处理的效率,缩短了采购周期。     

基于层次颜色Petri网的全感应控制交通信号灯建模与仿真

针对平面交叉口单点全感应控制信号灯系统实时调度问题,提出一种基于层次颜色Petri网的交叉路口的信号灯动态配时控制模型。首先,运用模糊控制理论对车流量信息进行分类定义。其次,以采集到的车流量信息为控制参数,基于层次颜色Petri网理论建立基本的信号灯轮廓模型,再依据模型中实现的关键功能进行分层细化与逐步求精。此外,将计数器代替时延加入系统模型中,使模型能够直观简洁地反映出红绿灯的循环时间与车流量之间的切换关系。根据所得模型对该交叉口信号灯配时方案的性能指标进行评估与比较。最后,运用CPN Tools对系统模型进行计算仿真,并进行简单的优化性能分析。     

基于Petri网的情境感知系统建模与仿真*

情境感知系统对情境信息的利用程度在不断提高,对服务的多样性提出了更高要求,但是传统的情境感知系统的建模方法难以满足对系统动态描述和模拟的需求。通过对传统的Petri网进行扩展,提出了情境感知系统的赋时着色Petri网模型;并结合仿真工具CPN Tools对模型进行模拟和验证,进而发现系统设计中存在的潜在不足,对其优化改进。以痴呆老人智能辅助系统为例,证明了该方法的有效性。     

基于Petri网的PIM-SM协议建模与分析

随着组播技术的飞速发展和广泛应用,对其路由协议进行数学建模和分析已经成为计算机网络领域一个重要的研究问题。其中PIM—SM协议是目前Intemet上最广泛应用的城内组播路由协议。针对PIM—SM协议的复杂、异步的特点．在对PIM-SM协议机制详细分析的基础上,利用Petri网对其进行形式化描述和建模,为协议进行性能分析、系统仿真和具体实现提供理论基础。     

基于Petri网的实时多智能体系统建模

给出基于Petri网的实时多Agent系统建模方法,它通过Petri网建立由接口模块、目标模块、计划模块、调度模块、知识库模块、环境模块、内部模块和控制模块组成的实时Agent模型,抽象和清晰地描述出实时Agent内部和外部特征。     

基于有色Petri网的SPIN协议建模与分析

在无线传感器网络路由协议的研究中,对现有协议的分析和验证具有重要意义.形式化建模是分析验证网络协议的一种有效方法.使用形式化工具有色Petri网对无线传感器网络中的SPIN路由协议进行形式化描述,并使用CPN Tools分析和验证了该协议的活性、可达性、有界性等特性.     

基于Petri网理论的FC-AE-ASM建模与性能分析*

以确定与随机Petri网为工具,基于周期消息,对光纤通道在航空电子环境的FC-AE-ASM（fiber channel anonymous subscriber messaging）网络进行建模仿真,根据仿真计算出FC-AE-ASM网络负载和系统的延迟时间两个重要的性能指标,通过对两个指标的性能曲线进行分析,有助于进一步理解航电系统事件消息在FC-AE-ASM网络中的传输机制,为综合航电系统的设计和完善提供重要的理论依据。     

基于面向对象Petri网的煤矿CPS建模

针对煤矿CPS的特点,利用面向对象Petri网对其进行建模.从多Agent系统的角度,建立煤矿CPS的体系架构;建立该体系中各对象内部的子网模型;通过对煤矿CPS的业务流程分析,建立系统对象间的整体模型,描述各对象内部的静态、动态特性以及对象间的交互过程;对所建模型进行系统可靠性分析,分析结果表明,所建立的煤矿CPS模...     

IHE集成模式的Petri网建模

为了高效地实现采用集成化医疗卫生企业(IHE)技术框架的医疗信息的集成,解决医疗信息系统间的互操作性问题,建立了IHE集成模式和Petri网之间的映射关系,进而构建了基于Petri网的IHE集成模式的工作流模型.利用Java语言开发的开源软件平台独立的Petri网编辑器(PIPE2),生成了系统Petri网模型的可达图,为进一步分析模型的动态性质并验证系统的正确性奠定了基础.     

基于受控计时扩展Petri网的分拣系统建模

分拣系统中 ,由于操作人员的参与 ,可能导致被分拣货物和装箱清单不一致。这主要是由于上包控制和货包信息的同步跟踪不可控所造成。为解决这个问题 ,该文提出受控计时扩展Petri网 ,在此基础上对自动分拣系统进行了建模 ,并分析了操作人员的控制作用。实际应用表明 ,受控计时扩展Petri网为具有人参与的物流系统提供了一种良好的建模方法。