医疗信息系统工作流的Petri网建模与化简分析

应用 Petri网建模与工作流技术,构建了基于医疗信息整合(IHE)规范的医疗信息系统工作流的Petri网模型,并对一个医疗信息系统工作流实例,给出了基于Petri网化简分析方法的模型化简与性质验证,表明该模型能够对医疗信息工作流进行有效的分析和验证,从而为医疗信息系统集成设计及其工作流分析提供了理论基础.     

基于时间Petri网的建模与分析

介绍一种Petri网——时间Petri(TPN)。用时间Petri网表示工作流模型并对基本工作流模型进行时序分析,给出线性时间推理的规则,运用这些规则,可对复杂的工作流模型进行逐步化简,并在线性时间复杂度内解决时间推理问题。     

信任协商策略的Petri网建模分析方法

对Peer-to-Peer网络环境下信任协商和信任协商策略进行了定义和形式化描述,提出了一种基于Petri网模型的信任协商策略建模分析方法,将资源、证书和资源访问策略映射为Petri网网元进行建模,通过可达分析寻找最优资源解锁序列.和其他信任协商策略建模方法相比,该方法具有较好的性能.     

基于对象Petri网的电网调度操作票任务分解方法

本文提出了基于面向对象Petri网技术的操作票任务分解方法,对分解后的单一操作任务再使用基本Petri网进行推理,从而解决了基本Petri网在建立电网调度操作票专家系统规则库时遇到的组合爆炸问题。通过分析给出了算法的对象划分、结构封装、对象间的消息传递关系以及图形化的建模;所设计的对象结构及对象关系保证了系统的安全性;最后结合算例阐述了具体的技术方案。算例结果表明了该方法的有效性。     

基于Petri网和语义网络的虚拟维修过程建模与应用

针对当前虚拟维修过程中模型庞大,维修流程不可反复,部件间关系描述混乱等问题,论文提出一种Petri网和语义网络结合的过程建模方法——TJ(Training Join)网。TJ网上层利用语义网络对部件进行层次结构分解和资源规范聚类,实现子部件间逻辑互联;下层运用Petri网的变迁和触发规则提炼出Petri网元素模型,提高模型的通用性和建模效率。同时模型中的状态收集模块可实现部件属性状态间信息共享。最后,以虚拟维修平台中飞机电子设备架的维护为例,验证了TJ网的有效性。     

基于规则对象Petri网的柔性制造系统建模

针对FMS建模中存在的问题，通过分析FMS的组成和活动特点，提出了规则对象Petri网的建模方法。该方法集中了Petri网和面向对象技术的优点，并融系统决策规则子模型中。利用规则对象Petri网，建立了FMS的资源对象模型、动态行为模型和调度决策模型，为设计、分析和调度控制提供了有效的工具。     

生产系统业务和制造流程再造的层次化方法

运用约束理论的思想,结合Petri网建模工具,提出了一种生产系统再造的流程结构优化和瓶颈优化的层次化方法,并对如何运用时间Petri网模型寻找和消除约束进行了探讨.这一方法有助于有效确定再造的重点,明确再造范围,从而提高再造的成功率.最后介绍了这个方法在企业的应用.     

基于TOC和Petri网的业务流程重组方法

业务流程重组是企业根据市场和环境变化进行自身调整和完善,从而在竞争中取得优势的重要手段.通过Petri网建模可以对企业业务流程进行动态分析和控制,寻找制约企业盈利的最薄弱环节.在此基础上,应用约束理论(TOC)能够对业务流程中最薄弱的环节进行改进和重组,逐一消除制约环节,不断提升企业的竞争能力.在分析Petri网流程建模思路和约束理论基本原理的基础上,提出了基于Petri网和约束理论的业务流程重组方法,并进行了实证研究.     

协同环境下产品开发过程建模的研究

对现代产品开发过程的特点进行了探讨,分析了国内外协同设计过程建模的研究现状。在此基础上,以全局导航、局部决策的思想,提出基于UML活动图和Petri网的分层建模方法。通过用UML活动图对产品开发全局过程进行描述,确定了过程视图和其他派生图之间的关系,提出了视图间的组织结构方法。同时通过对具体生产环节的Petri网描述,达到使管理人员对局部进行有效控制的目的。     

基于广义随机Petri网GSPN的系统安全性研究

针对基于广义随机Petri网GSPN的动态系统安全性建模与分析方法进行了系统研究。基于Petri网、GSPN模型的基本原理，提出了关键状态搜索算法，并进行了安全性仿真分析．将广义随机Petri网的扩展模型应用于安全性分析领域，丰富了动态系统安全性问题的研究手段。     

基于进程网模型的仿真技术研究

进程网是一种新的融合进程代数特征的Petri网模型。具有传统Petri网的图形化表示方式,又具有进程代数的语法形式。本文基于进程网系统,针对进程网建模工具Prn Tools,提出适合其模型的仿真算法,包括实现组件的逻辑关系,组件的点火判定,点火及仿真的图形化表示,以及仿真结束状态图的生成。实验结果表明Prn Tools仿真功能得到实现,该算法有效地实现了针对进程网的仿真技术。     

一种网络服务自动部署方法

为满足网络服务使用者对网络服务部署的功能性和非功能性需求,运用Petri网的方法进行了互联网动态多变环境下的网络服务自动部署的研究,建立了一种基于Petri网的网络服务部署网模型,从形式化的角度描述了网络服务功能的部署情况,提出了一种按照服务质量来选择最优网络服务部署的算法。仿真的结果表明,与目前常用的固定部署算法和随机部署算法相比,按照该方法得到的网络服务部署能最好地满足服务使用者对服务的非功能性方面的需求。     

基于带抑止弧的Petri网的软件保护技术应用序列构建方法

基于软件保护领域中多种软件保护技术之间存在不同依赖关系的情况,针对求解有效的软件保护技术应用序列问题,提出了一种基于带抑止弧的Petri网建模分析的求解方法。首先分类并建立4种基本的软件保护技术依赖关系的Petri网模型,包括前向/后向必须依赖关系和前向/后向禁止依赖关系;根据实际应用场景建立相应的复合依赖关系Petri网模型,并绘制其可达标识图;在可达标识图中定位满足需求的标识,求解得从初始标识到此标识的一条变迁序列所对应的软件保护技术应用序列即为所求序列。最后,通过实验证明了此方法的有效性。     

基于动态描述逻辑的Web服务自动组合技术

提出了一种利用动态描述逻辑(DDL)的动态推理自动组合Web服务的方法.DDL是描述逻辑(DL)的一种动态扩展,它结合本体提供的静态信息与Web服务提供的计算,统一地描述和推理Web环境中静态信息与动态知识.该方法充分利用Web服务组合中涉及的静态知识(如描述逻辑知识库刻画的领域公理、具体环境和用户需求等)和动态知识(...     

支持业务过程管理的Web服务选择指标体系

通过组合SOA和BPM方法.提出一种基于SOA的BPM的服务框架,根据服务提供商和Web服务特征,确定Web服务选择指标体系,给出了Web服务选择指标的量化方法和决策过程,为实现低成本、高水平的跨组织BPM提供决策依据.     

基于Petri网的办公自动化系统结构模型设计

首先根据办公的工作需求,提出基于Petri网的工作流过程建模、基于工作流技术的办公自动化系统结构模型。     

基于时延库所Petri网的动态联盟任务调度研究

针对动态联盟中任务调度的特点,提出了采用时延库所Petri网对动态联盟任务调度进行建模。给出了模型的形式化描述及变迁规则,对动态联盟中的产品加工类型进行了分类,并建立了各种加工类型的时延库所Petri网模型,分析了通过模型中零时差的库所求解关键路径和利用可达图求解合理调度方案的方法。最后,以实例表明了该方法的可行性和有效性。     

Semantic Web service composition based on the interface matching of service processes

针对基于服务一级粗粒度的语义Web服务组合方法无法有效地发现满足用户需求的潜在的服务组合,导致组合成功率低的问题,提出了基于语义Web服务内部流程接口匹配的自动服务组合方法.该方法利用基于语义的Web服务描述语言(OWL-S)并在领域本体的支持下对Web服务语义进行描述,对服务与服务流程进行区分,将服务流程作为组合操作对象,通过计算不同的Web服务内部流程接口之间语义关联程度,遵从后继服务流程选择策略自动地生成能够满足用户需求的流程组合方案,并通过反向检索组合流程,消除组合方案中冗余的服务流程.通过一系列的仿真实验对该组合方法的成功率、效率等方面进行了验证,结果证明了该方法可以更加有效地根据用户请求自动生成服务组合方案.     

基于QoS约束的服务推荐模型

随着Web服务数量的大规模增长,如何动态的选择出最适合用户需求的Web组合服务是目前的一个研究热点。本文提出了一种支持QoS约束的组合Web服务推荐模型,对服务集合进行预处理,根据需求选取具有高QoS的组群服务推荐给用户。     

基于Petri网的包装物流系统建模仿真与优化

采用离散事件动态系统理论和Petri网建模技术,研究包装物流系统建模、仿真与优化,描述和分析系统要素及逻辑序列.以纸箱包装物流系统为例进行建模、仿真,优化分析,获得了该系统的优化模型.结果表明,这种研究方法可行有效.