可视化分布组件协调环境

分布组件的协调是基于组件的分布系统开发中的一个基本问题。针对具体应用,提出了一种分布组件协调模型－－Ｃｏｎｃｅｒｔｏ。Ｃｏｎｃｅｒｔｏ模型以Ｐｅｔｒｉ网为理论基础,综合了现有的控制驱动和数据驱动两类协调模型。Ｐｅｔｒｉ网的变迁与分布组件系统中的事件、条件、操作和时间信息结合起来,提供了与计算机系统交互的方法。在Ｃｏｎｃｅｒｔｏ模型基础上,实现了可视化分布组件协调环境,对分布组件系统进行并发死锁验证     

一种面向分布组件的协调引擎实现框架

针对现有的Concerto协调模型,提出了一种面向分布组件的协调引擎实现框架,它将模型中的协调问题转化为独立的计算性代码,以便于系统在设计阶段就可以分析并解决协调问题。由于引擎本身具有分布特性,因此针对一些现有的协调问题,运行在引擎上的协调模型可以相当接近现实中出现的问题。     

一种基于扩展面向对象Petri网的业务组件建模方法

文章在面向对象Petri网的基础上,引入元数据(metadata),构成一种扩展的面向对象Petri网(EOPN),并以企业中的材料需求计划的制定过程为实例建立了描述这一业务过程的EOPN模型。基于这个业务过程模型实例,给出了业务组件建模的步骤和规则。     

一种Petri网中S组件的查找算法

对Petri网的深入研究有助于基于Petri网的工作流管理系统的开发,S组件可用来刻画Petri网的一些重要特性.给出了一种在Petri网中查找S组件的算法.实验结果证明该算法是切实可行的.     

一种新的基于Petri网的多媒体同步模型

多媒体信息的同步是分布式多媒体信息系统的关键技术。本文在对国外几个典型多媒体同步模型进行分析、比较的基础上,提出一个新的多媒体同步要模型。该模型不但可以充分、准确、形式化地描述和规模多媒体信息流的时间行为,而且还考虑到了分布式环境中多媒体信息的时间特性（如抖动）,并且有人机交互功能。     

一种基于Petri网的工作流模型分解方法

工作流网的模型化简是模型有效分析的前提。在了解了工作流网及T-组件网相关定义的基础上,对工作流网的结构化简方法进行了分析,提出了一种简洁有效的工作流网模型的自由选择子网分解算法,给出了算法的过程同时也给出了算法的时间复杂度分析。最后,在算法的应用方面,将所提出的模型分解方法与目前常用的工作流网结构化简方法相结合,不仅可以有效提高模型化简的效率,而且还可以在模型化简的同时进行基于业务实例子网的模型分析。     

基于Petri网的嵌入式软件组件的实时性研究

根据嵌入式系统软件的特点和发展需求,设计了一种新的嵌入式软件组件模型SECOM,给出了模型的基本组成元素。同时,利用时间Petri网TPN建立一个TPN计时器timer,对该组件模型SECOM非功能性约束中的实时性进行建模与分析,形式化地验证了该组件的实时性。     

基于Petri网的组件服务发现方法

针对现有的组件服务发现方法存在自动识别率和重复使用率低下的问题,文中首先利用Petri网理论设计了一种自动组件服务发现框架,用于支持组件服务的发现及复用;在此基础上提出了时序Petri网服务模型（TPNSM）;通过借鉴Petri网中关联矩阵的概念,将组件服务间的邻接关系映射为矩阵,通过邻接关联矩阵给出相似度计算方法;最后,提出了基于Petri网的组件服务发现方法。通过将文中方法与现有服务发现方法进行仿真对比实验,结果表明该方法能根据用户需求快速响应,在组件服务发现方面具有更好的查全率与查准率。     

一种基于Petri网的可靠性分析方法

冲突和并发是Petri网的两种典型的行为,本文基于系统可靠性Petri网模型的逆模型和基于ECS的解冲突算法,得到一种新的求解单调关联系统最小割集的算法,另外,根据这一算法,能够获得与系统当前状态有关的所有可能的演化。     

一种基于时间Petri网的工作流模型

面向任务流和资源流并行的业务过程,讨论了一类如何通过资源流控制任务流的工作流建模问题.在时间Petri网的基础上提出了一种称作资源/任务网(R/T-net)的工作流概念模型,并给出了基于R/T-net的工作流建模过程.设置在任务模型中的资源依赖和资源期望可以有效地实现资源流对任务流的控制,而其中的资源点火规则和资源路由规则可以灵活地实现资源的协调、同步、分配和传递,因此,比仅用时间属性刻画任务转移的时间Petri网模型更符合诸如办公、制造、物流运输等业务过程.     

基于Petri网的多媒体同步通信模型

本文提出了一种新的多媒体同步模型--交互式多媒体动态同步Petri网模型(IMDSPN)。IMDSPN能够准确地描述多媒体对象的各种同步时态关系,可以克服其表现过程中的同步失败问题,并可以保证在用户交互控制下同步关系的全局一致性,它有效地描述了多媒体的动态特性。     

基于Petri Nets的协调机制研究*

利用形式化和图形化的建模工具Petri Nets对协调问题中的依赖关系及协调机制进行研究;提出任务之间基于资源的三种基本依赖关系;并用Petri Nets对这三种依赖关系相应的协调机制进行了表述,为协调问题的可计算描述提供了一种新的思考角度。     

基于同步时间Petri网的细粒度多媒体同步模型研究

多媒体同步是分布式多媒体信息系统的关键问题。在分析和比较几种已有的典型的多媒体同步模型的基础上．本文提出了一种新的模型：同步时间Petri网(简记为STPN)。STPN不仅能完整、准确地对媒体流内和媒体流间的时间层次行为进行形式化描述,而且解决了时间流Petri网中存在的死托肯问题。特别地,通过引入抑止弧,STPN有效地克服了随机延迟、阻塞、丢包等因素的不良影响。尤其当丢失率较高时．STPN更能体现其优越性和鲁棒性。     

基于Petri网的空间信息工作流模型

利用工作流技术建立空间信息工作流,为支持空间信息处理过程的规划和管理提供科学的途径。基于Petri网和UniNet理论,建立了空间信息工作流模型GWPN。该模型利用Petri网和UniNet的诸多优点,兼顾控制流和数据流,并充分考虑了过程中的空间语义约束,准确定义空间信息处理过程,解决了空间应用的特殊性问题。     

分布式信息系统中构件计算协调模型的研究-一种求解大型分布式信息系统中特征干扰的方法

介绍了一种利用分布式构件的计算协调模型来解决大型分布式信息系统中特征干扰的方法，并结合具体的分布式信息系统分析了系统中可能存在的各种构件计算关系，研究了分布式构件计算的协调问题，研究了具体的解决方案．     

基于随机Petri网的集束装备模型及马尔可夫链分析

为了分析集束装备的性能,采用随机Petri网建模方法描述装备串行加工过程.采用自底向上方式,首先建立集束装备各组成模块的基本模型,然后根据实际的加工过程构造出整个装备的随机Petri网模型.给出了模型的马尔可夫链分析过程,进一步推导出装备的吞吐率和加工腔体的利用率.结果表明,该模型不仅可以表现集束装备的并发性,而且能表示出设备操作时间的随机性.该方法能够有效地描述和分析集束装备的加工过程.     

基于Petri网的工作流过程建模

业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型：首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映 射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。     

基于广义随机着色Petri网的Web服务组合模型

给出了广义随机着色Petri网(GSCPN)和基于GSCPN的Web服务模型,实现了Web服务QoS和数据的表示,并给出了基于GSCPN的服务组合运算方法。用模型的层次化方法来降低模型的复杂性,一定程度上减轻了模型状态爆炸问题。分析了组合运算的性质,探讨了模型的性质和QoS分析方法。