基于着色Petri网的Web服务组合建模

用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性.     

基于Petri网的情境感知服务建模及干扰发现

为发现情境感知服务之间存在的显性和隐性干扰,提出采用赋时着色Petri网(timed colored Petri net,TCPN)对情境感知系统建模,通过对模型进行仿真分析发现服务之间潜在的干扰。对TCPN及其相关规则进行了形式化的定义,然后讨论了用TCPN对情境感知系统建模的方法,使构建的模型反映情境感知系统真实运行中的情况,主要讨论了对服务行为的建模和对情境变化的建模。利用提出的建模方法结合建模仿真工具CPN Tools对阿尔茨海默病患者智能辅助系统进行了建模和仿真,通过仿真结果分析发现了服务之间显性和隐性的干扰,验证了该方法的有效性。     

基于有色Petri网的Web服务组合建模与分析

形式化定义了Web服务组合过程中的5种基本逻辑结构,并采用有色Petri网表示,然后将其抽象为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务的性质及组合服务的构造方法;最后通过实例分析,说明该建模方法可以保证组合的服务是正确且可终止的。     

Petri网的总线型DCS的通信机制

为了使总线型DCS(Distributed Control System)系统多设备并发通信活动保持有序性、正确性,提出基于Petri网模型对其通信协同关系进行研究.利用Petri网模型对DCS系统中上位机和下位设备在工业网络环境中的协同关系、协同机制进行形式化的描述、分析,用控制进程并发的理论观点来实现这种协同机制.实验测试表明,基于该模式实现的总线型DCS系统比Common DCS平均通讯延迟比小于97/10000,信息发送接收平均误码率低52.5%,平均故障恢复时间大约少6.6ms,体现了较高的实时性、高效性.     

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

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

制造系统的Petri网建模

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

基于Petri网的乐音体系建模

把Petri网理论和音乐理论结合起来,提出了一个较完整的用自控网系统和时间Petri网建立的乐音体系模型.该模型借助Petri网有关理论成果,可以形式化的分析乐曲,便于计算机处理.其实质是在五线谱的音符之间加入变迁元素,使其更反映乐曲的本质,并且起到同步的作用.     

Petri网在语义Web服务组合中的应用研究

通过Petri网对语义层次上的web服务组合进行描述与建模,并将Petri网形式化元素加入到web服务中,然后对Petri网模型用XML进行描述,使之能在实际中应用。最后,给出了基于Petri网的Web服务组合应用实例。     

Petri网在时序建模中的应用

本文提出了一种对离散事件系统进行时序建模的TL／PN（时序／Petri)方法。文中描述了点－区间时序逻辑的形式定义体系,以及基于图模型（把系统的时序特性转化为图结构）的时序推理机（TIE）的原理和应用。本方法不仅可避免传统设计中的时序歧义和错误,同时推导出的新的时序关联还能识别用户自定义的有用区间。     

基于Petri网的离散事件系统建模

用Ｐｅｔｒｉ网作为建模工具,对典型的离散事件系统的建模进行了研究。     

基于有色Petri网的通信装备战场抢修效能评估

根据有色Petri网在离散动态系统建模中的强大优势，运用建模与仿真技术，对通信装备战场抢修效能进行了评估；运用有色Petri网（colored Petri net，CPN）工具对具体实例进行了仿真实现，其运行结果与该抢修系统的统计结果基本一致；证明了有色Petri网理论和仿真工具在本领域运用的可行性和科学性，为战场抢修系统的效能评估探索出了一种新的方法。     

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

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

基于Petri网的延迟制造供应链建模

在分析延迟制造基本理论的基础上,应用广义随机Petri网对延迟制造的整个供应链系统进行建模及仿真,通过仿真实验得出整个系统的稳态概率和马尔科夫链,实现对整个供应链系统性能的分析与评估,旨在帮助企业选择最优的供应链成员及最优的运作模式.同时,该模型可在供应链系统出现问题时,通过仿真实验检测出阻碍供应链系统运作的瓶颈,并在此基础上,进行供应链系统的流程再造以满足优化的目的,最大程度地降低企业风险,增强整个供应链系统的协调和控制能力,为企业构建最优的延迟制造供应链系统提供理论参考.     

智能型工程图库管理系统的设计及Petri网建模

随着现代企业生产设计的飞速发展,日积月累的大量工程图纸面临保存、分类和归档的难题,因而建立智能型工程图库管理系统呼之欲出.相对于传统的纸张库存,电子化的存储方式是唯一可靠的永久保存方案,对图档的设计、修改和再利用提供了有效的手段.文中重点探讨了智能型工程图库管理系统的设计思想和实现方法,并讨论了其Petri网建模.     

基于Petri网的火灾报警控制系统建模

分析了火灾报警与联动控制过程,并利用Petri网对这一过程中事件的异步、并行、冲突等重要特征进行描述,并实施分析、研究,对数据处理算法予以优化,最后给出了基于Petri网的火灾报警控制系统模型。     

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

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

CORBA工作流时间Petri网建模与分析

基于时间Petri网和工作流分析技术,引入时间工作流网概念,建立CORBA系统中由一组受时间约束的子工作流协作组成的工作流的时间工作流网模型,并基于该模型分析时间工作流网模型的有效性,验证了模型与系统需求规范的一致性.     

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

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

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

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