基于Petri网超媒体模型的分析与比较

超媒体建模研究是当前一个重要研究方向。基于Petri网理论的模型是对有向图模型的改进,与其他模型比较,能够更好地刻画超媒体系统。原因如下:Petri网是一个二部有向图,适合于说明超媒体的链接机制;Petri网是一种天然的具有并行执行语义的自动机,模型可以自然地表达超媒体系统中的动态执行语义;Petri网能够说明各种顺序、并发和同步活动,满足描述多媒体表现的需要;利用Petri网的图形特性和严格的数学基础,人们可以检查和分析超媒体中的潜在问题。该文着重对四个典型的基于Petri网的超媒体模型:MHPN、HCPN、MORENA和HTSPN模型进行分析和比较。     

基于Petri网的分布式多媒体同步模型研究

Petri网作为一种描述系统行为的形式化工具,在各类多媒体系统中有着较多的应用,尤其擅长于描述多媒体的同步问题,出现了诸如OCPN（对象组合Petri网）等多媒体同步模型,然而,这些模型却不足以处理分布式环境中的多媒体同步问题。本文提出了一种新的扩充Petri网模型并分析了其模型化的能力和性质,利用该模型可以较好地解决分布式环境中的多媒体同步问题。     

基于ToolBook的小儿疾病诊断智能超媒体系统

为了探索多媒体技术与专家系统的结合，把多媒体信息引入专家系统，本文用多媒体著作工具ToolBook外接数据库开了小儿疾病智能超媒体系统，并研究了关系数据库与知识库的对应关系以及Rough set理论在本系统的应用，阐述了实现该系统的关键技术。     

Petri网在智能型电话管理系统开发中的应用

基于Petri网模型的智能仪器监控软件设计方法是一种新型的软件设计方法。运用该方法，在对智能型电话管理系统中的内部因素和外部因素综合分析的基础上，结合Petri网模型理论，给出了智能仪器监控软件的形式化描述技术和数学化设计方法，及其工程化的解决方案。工程应用实践表明，Petri网模型及其在智能仪器监控软件设计中的应用是可行而成功的。     

小儿出疹性疾病诊断智能超媒体系统中知识约简算法的实现

智能超媒体系统是专家系统与多媒体技术的完美结合，智能超媒体系统中知识的约简同样是提高智能超媒体系统推理效率的一种手段。本文利用Rough集理论和方法对知识进行约简，并给出了一个小儿出疹性疾病诊断智能超媒体系统中知识约简算法的实现实例。     

基于Petri网的自动售货机销售系统建模及验证

提出了一种层次Petri网建立多媒体自动售货机销售系统模型。首先给出了层次Petri网在该系统中的形式化定义及描述,运用分层设计、逐步细化的思想降低系统复杂度,使该系统设计直观、清晰。然后,利用SNOOPY仿真工具和Petri网可达图分别从定性和定量两个方面加以分析,验证了该模型的合理性和有效性。研究表明,层次Petri网是多媒体自动售货机销售系统建模的一种有效途径。     

模糊着色Petri网及其在工作流建模中的应用

Petri网是当前工作流建模中广泛采用的工具之一，针对工作流过程定义中模糊信息的描述和处理问题，提出模糊着色Petri网的描述方法，并给出基于模糊着色Petri网的推理过程，最后给出一个简单业务流程的基于模糊着色Petri网的工作模型，并对该模型进行了分析。     

Petri网在智能型电话管理系统开发中的应用

基于Petri网模型的智能仪器监控软件设计方法是一种新型的软件设计方法.运用该方法,在对智能型电话管理系统中的内部因素和外部因素综合分析的基础上,结合Petri网模型理论,给出了智能仪器监控软件的形式化描述技术和数学化设计方法,及其工程化的解决方案.工程应用实践表明,Petri网模型及其在智能仪器监控软件设计中的应用是可行而成功的.     

基于Petri网的工作流建模

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

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

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

基于Petri网的超媒体模型HPN

本文提出了一个基于Ｐｅｔｒｉ网的超媒体形式化模型ＨＰＮ。它采用层次组织,各层由一个扩展Ｐｅｔｒｉ网、若干对象以及Ｐｅｔｒｉ网与对象之间的映射表示,通过Ｐｅｔｒｉ网结构和执行语义说明超媒体的连接机制、浏览和媒体表现,具有刻画超媒体主要性质的能力。文中给出了ＨＰＮ模型的模式化定义并举说明其用途。     

基于Petri网超媒体模型研究

在分析当前超媒体形式化模型特点的基础上,本文提出了一个全新的模型－ＣＰＮＨ,它基于有色Ｐｅｔｒｉ网,具有刻画分布超媒体主要性质的能力,与其他模型相比该模型能够有效解决并发浏览、存到控制和版本总理２,而且有力刻画了分布环境下多媒体的动态特性文中着重给出了ＣＰＮＨ模型的形式化定义并举例说明。     

Interactive hypermedia applications: A model and its implementation

By referring to the object-oriented efforts of the Multimedia and Hypermedia information coding Expert Group (MHEG), and the augmented Petri net model, we present a formal definition of the multimedia hypermedia Petri net (MHPN) model. Through this proposed model, issues of authoring, rendering and synchronization of multimedia information (i.e. structure authoring, spatial temporal relationships, user interaction, etc.) can all be laid to rest. We have implemented a testbed system, the Petri net object information system (POIS), which offers considerable potential for the development of distributed hypermedia applications. The testbed has been implemented on an IBM-PC486 under Windows 3.1. We are now in the process of porting the testbed model to Windows NT.     

超媒体同步模型研究

本文以Ｄｘｔｅｒ超文本参考模型为标准,吸收了Ａｍｓｔｅｒｄａｍ超媒体和Ｔｒｅｌｌｉｓ模型的优点,将所提出的分布多媒体同步Ｐｅｔｒｉ网模型扩展到超媒体,即提出一种分布超媒体同步Ｐｅｔｒｉ网模型。该模型可较好地解决分布超媒体系统中超链、对象同步和用户交互三个关键问题。     

XML查询方法的设计与研究

提出了用Petri网建立XML语义结构模型的设计方法,根据XML的DTD结构建立描述XML语义结构的Petri网模型,DTD结构中的元素声明和属性声明对应Petri网模型中的一个或一组变迁,声明中的元素或属性对应Petri 网模型中的库所,把XML查询中的路径表达式定义为Petri网库所中的Token。根据Petri网模型的结构生成存储XML数据的关系数据库模型,将XML的查询问题最终转化为数据库中数据的查询操作。 XML;Petri网;路径表达式;查询     

Petri网在经营过程重构（BRP）中的应用研究

在比较常用于过程描述的模型工具基础上,将扩展Petri网理论引入经营过程重构（BRP）。提出了用Petri网对动态、并行的产品开发过程进行描述,并细化建立产品零件设计与工艺设计过程Petri网模型,使产品开发过程在Petri网上得到了清晰、全面地描述。     

基于混杂Petri网的交通网络性能分析

本文利用混杂Petri网建模交通系统.通过分析Petri网,得到交通系统的拥塞性质,提出相对拥塞及绝对拥塞的概念,并给出相对拥塞转化为绝对拥塞的条件.结合真实交通数据,形成符合实际交通状况的Petri网实例,得到车辆分布规律,弥补现有智能交通系统仅依赖出租车GPS数据代表车辆分布情况的缺陷.     

基于Petri网的工作流模型

Petri网是一种很有效的模型描述语言，不仅能描述系统的结构特性，同时还能描述其动态特性，尤其适用于描述含有并行成分的系统，而工作流技术作为实现企业过程集成的有效手段，广泛用于各种场合。在简要介绍了Petri网和工作流基本知识的基础上，指出了基于Petri网的工作流模型的优点，讨论了将工作流模型转化为Petri网模型的基本原则，并且提出了一种扩展的Petri网模型作为一种工作流建模的工具，最后对基于Petri网的工作流模型进行了总结。