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

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

多传感器信息融合的分层着色Petri网模型

该文以导弹攻击系统为例,提出了一种基于分层着色Petri网理论建立多传感器信息融合系统模型的方法。该方法运用着色Petri网理论克服了以往用普通Petri建模的不足,细化了其系统模型的中间过程,同时给出融合中心的数据融合算法和指挥中心的神经网络解析算法。基于分层着色Petri网建模与分析方法有利于融合系统的性能分析和行为仿真的实现。     

基于分层Petri网的面向服务需求求精

为了使结构化面向对象形式语言（SOFL）适应面向服务的软件架构，提出了一种用于面向服务架构软件需求求精的新方法.使用分层Petri网进行建模，利用顺序图对消息传递进行分析，采用SOFL对非形式化和半形式化的系统描述逐步求精.讨论了基于分层Petri网的Web服务，定义了分层服务网、分层Web服务相关概念，描述了用于Web服务软件需求的分析、设计和建模完整过程，并给出了旅游服务中该过程的具体实例.实例分析表明，该方法适宜Web服务分析建模，可帮助用户实现不同粒度Web服务.该方法有助于对面向服务环境下软件需求求精和验证的探索.     

着色Petri网在信任协商中的应用研究

自动信任协商是一种在陌生者之间通过双方不断迭代披露数字信任证书,从而建立信任的一种方法.提出了一个基于着色Petri网的自动信任协商模型,给出了着色协商Petri网的定义及关系范式映射到着色Petri网的方法,在此基础上阐述了模型的构建方法,给出一个建模实例并进行分析.     

着色Petri网在应急联动系统中的建模与仿真分析

在分析应急联动系统业务流程的基础上,引入着色Petri网,并利用支持Petri网建模与仿真的成熟工具CPNTools实现了应急联动系统流程的建模与仿真,同时对所建模型的性能进行了分析.     

基于着色Petri网的工作流模式研究

工作流技术的出现为解决现代企业信息化的需求提供了一种有效的技术方案,已成为工作流理论研究领域的热点,文章在分析经典Petri网建模能力的基础上,采用一种着色Petri网对文献[3]中提出的23种新的工作流模式进行建模研究。结果表明着色Petri网具有更强大的建模能力,能灵活实现这些复杂的新的工作流模式。     

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

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

一种Petri网结合遗传算法的优化方法及应用

根据实际优化问题,在时间Petri网和着色Petri网的基础上,提出了一种新的扩展Petri网(EPN)模型,并在EPN中定义了条件矩阵Q,给出了Petri网与遗传算法相结合的优化方法和具体算法.使用本优化方法,对一个车间作业(Job-shop)调度问题进行了求解,建立了该Job-shop调度的EPN模型,并采用单个体遗传算法对Petri网模型进行优化,结果证明了该建模和优化方法的有效性和正确性.     

基于Petri网的项目管理模型研究

项目管理是一类典型的离散并发不确定系统,经典Petri网及其扩展可以很好的对项目工序逻辑关系、时间约束、资源约束、项目执行过程监控等进行可视化建模的同时,提供形式化理论支撑.在综合研究现有Petri网项目管理模型基础上,提出了基于着色时间约束Petri网的项目动态管理模型,并对该模型的变迁激发规则、状态空间、可达性及可调度性进行分析.该模型能够对项目管理中时间约束及资源约束进行建模,为项目动态管理提供可视化、形式化建模工具.     

基于UML和Petri网的建模及其验证

为了更好的建立系统模型,分析系统模型的性质,提出一种基于UML和Petri网的建模方法。用UML对系统进行可视化建模,利用Petri网对系统的动态行为进行建模,从不同的角度对系统进行建模,运用两种建模方法的优势,以及UML和Petri网之间的转化规则,实现两种模型的转换。最后把Petri网转化为Promela程序,用SPIN工具Petri网模型进行验证。     

针对SoC设计正确性和时间性的形式化协同验证方法

给传统嵌入式系统验证方法带来巨大挑战的是SoC设计中硬件部分采用IP核、软件部分采用构件技术，这就需要一种既能克服传统方法缺陷又能适合SoC的新方法。针对SoC提出了一种基于着色Petri网的数学模型，形式化定义了IP核、构件和用户自定义逻辑模块，并阐述了从SoC设计体系结构到着色Petri网模型的转换方法，还介绍了如何利用现有工具CPN Tods来分析Petri网模型。该方法不仅能验证SoC设计的正确性，还能验证其时间性，一旦给出SoC设计中IP核、构件和用户自定义逻辑的体系结构，那么就能够验证出整个系统的设计正确性和时间性，最后通过一个验证PDA手机音频和视频子系统的例子证明该方法行之有效，并给出了相应的实验结果。     

基于CPN的UML2.0形式化建模

UML作为一种半形式化建模语言,很难对系统进行动态的仿真与性能评价。基于着色Petri网（CPN）拥有严格的数学理论基础,能够对系统进行图形化的模拟与分析,提出了一种UML的形式化建模方法。对UML2.0顺序图中opt等操作符给出了对应CPN图形的转化规则,实现了用CPN模型描述UML2.0的用例图与顺序图的目的。以一个简单的UML2.0顺序图进行验证,结果表明所提方法是有效的。     

土方作业设备管理虚拟施工模型及仿真分析

以土方施工过程中的设备管理为研究对象,基于Petri网理论和工作流模型原理,构建了土方作业虚拟施工9元组有色Petri网仿真模型.模型描述了施工过程中工作流与信息流的动态变化,考虑了各种作业设备与施工约束条件之间的关系.根据施工作业的设备数量和项目成本等信息,对土方作业不同设备组合的施工情况、预计完成时间、成本及设备使用率进行仿真模拟和讨论.仿真模型基于CPNTools平台运行,通过项目现场收集数据进行模拟,对模型进行敏感度分析和模型验证,表明该模型能够提高土方作业施工过程的仿真结果准确度.     

基于高级Petri网的住院医师培训工作流建模与分析

为了实现住院医师培训系统协调并发运行、工作流程顺畅无误运转,提出一种基于着色高级Petri网与跨组织Petri网技术相结合的综合建模方法.针对跨组织模型结构,通过分级验证法验证模型性能,即采用不变量验证法验证组织内活性,采用归约可达图法验证组织间关联关系的可达性.利用不变量法和归约可达图验证法可确保组织内部和组织间无死锁,采用着色跨组织方法构建的模型适应于住院医师培训系统多角色和并发性的特点,提高了系统的实用性和高效性.     

支持并行调度的多项目资源管理CPN建模

构建良好的多项目资源调度模型已成为项目型企业多项目管理计划与控制的关键性基础工作。在分析多项目并行调度特点的基础上,基于Petri网擅长描述随机性、任务间并发、同步、并行等系统特征的优势,克服当前已有的多项目并行调度模型的不足,构建了基于CPN的多项目并行调度模型。通过建模实例阐述了模型的仿真分析方法,证明了基于着色Petri网构建多项目并行调度模型的可行性和有效性。       

智能网中业务逻辑的一种验证方法

用Ｐｅｔｒｉ网模型描述了业务逻辑的结构特性,并给出了通过业务逻辑的Ｐｅｔｒｉ网模型验证业务逻辑结构正确性的方法。     

双航母编队C3I系统Petri网建模与分析研究

基于着色Petri网(CPN)的基本理论和航母编队C³I系统的情况,重点分析了双航母编队作战特点．建立了双航母编队C³I系统作战指挥的CPN模型,并对该模型在无优先级和有优先级的条件下进行了仿真分析研究,设计了提升系统协同作战效能、系统科学合理决策、以及优化作战效费比的方法．