分享到:

非确定Petri网

根据描述工作流模型的实际应用背景 ,提出了非确定变迁、非确定 Petri网等概念   (本文共3页) 阅读全文>>

西北大学
西北大学

工作流过程模型的层次研究及其分析

工作流管理系统是一种特殊的异步并发CSCW软件。这种协同工作软件系统能够理解、解释和自动执行或同参与者交互式地执行各种预定义的流程(称为过程定义),而不需要分别为不同的业务流程开发软件,这一特征能使企事业单位快速响应外界需求、提高管理水平、降低成本和提高质量等。工作流管理系统继数据库管理系统和人机界面管理系统之后,被称为应用软件的第三次分离。它已成为组成现代应用系统,特别是工作在Internet环境下的应用系统不可或缺的重要组成部分。这种分离不仅使人们对这些分离的软件成份能进行深入的研究,而且由这些成熟的软件部件可以方便地构造整个应用,增加了软件复用性。工作流管理系统中一个重要的课题就是要为待描述的过程定义提供一种通用过程描述、表现能力强和便于形式化验证的工作流过程模型。一个好的工作流过程模型应该是一个具有高度的灵活性、可靠性、可用性、可伸缩性和互操作性的工作流管理系统的关键和基础。目前,有很多方法和工具可用于描述工作流过程模型...  (本文共123页) 本文目录 | 阅读全文>>

山东科技大学
山东科技大学

基于Petri网的非确定工作流的时间和资源管理问题研究

工作流管理是近年来计算机应用领域的热点之一。对于工作流的建模有多种方式,其中Petri网是用于工作流建模的一种比较重要和实用的方法。时间和资源是工作流系统中两个重要的方面,目前基于Petri网的工作流时间和资源的管理已经有了深入的研究,同时受时间和资源双重约束的工作流在实际生活中也有着广泛的应用。目前,对非确定工作流的研究大多只关注了活动执行时间的不确定性,而没有重视资源准备时间的不确定性。本文介绍了一种非确定工作流,这种工作流不但关注了活动执行时间的不确定性,而且考虑了资源准备时间的不确定性。本文主要研究了以下几个方面的内容:第一,给出了非确定工作流(NTA/R_WF)的定义及建模方法。首先给出了非确定工作流的定义,提出了非确定工作流的Petri网模型,然后分析了整个NTA/R_WF的建模方法。第二,给出了NTA/R_WF_NET的化简规则。文中从可重用资源和不可重用资源两个方面出发,分别给出了NTA/R_WF_NET的化简规...  (本文共74页) 本文目录 | 阅读全文>>

华东师范大学
华东师范大学

基于时空约束的车联网事件监控方法与技术研究

随着物联网技术和信息物理融合系统相关理论的发展,车联网系统(Internet of Vehicles)已经成为物联网理论和智能交通系统的重要研究领域,而其中事件实时处理是具有挑战性的研究对象。本文提出了基于车联网理论和事件驱动体系结构以及时空约束的车联网事件监控关键方法和技术,并对相关问题进行了深入细致的研究,主要贡献如下:首先,针对车联网中时空事件的表达和处理问题,提出了车联网的具有时空约束的事件处理语言STEP,建立了STEP语言的形式化语义——操作语义和指称语义,并建立了它们的一致性。其次,针对车联网中时空事件流的处理问题,基于STEP语言提出了车联网时空事件流Petri网处理模型,并给出了相应的事件流处理算法。研究结果表明该模型具有结构有界性和结构守恒性,并且基于该Petri网模型的事件处理算法具有稳定的动态性能,最后,通过仿真工具验证了相关推理的正确性。另外,针对车联网中大规模时空事件流的分布式处理任务,提出了车联网多...  (本文共176页) 本文目录 | 阅读全文>>

《系统仿真学报》1960年40期
系统仿真学报

非确定并发系统设计的Petri网形式化方法

本文首先建立逻辑偏序结构概念,用于刻划非确定系统的功能结构;建立环境结构,用于描述实现系统功能所需的资源及其服务关系;以约束集表示系统应遵守的行为规范,三者合一形成了系统...  (本文共10页) 阅读全文>>

西北工业大学
西北工业大学

基于TPN的多媒体动态同步模型及同步控制机制研究

多媒体同步是分布式多媒体系统的关键技术和基础,多媒体同步关系存在于多媒体的整个生命周期中。本文深入研究了分布式多媒体系统中,多媒体具有的复杂的时态关系和动态同步特性,以及关键媒体在应用中享有同步优先权等问题;深入研究了多媒体通信过程和多媒体对象的传输特性、同步需求,以及同步通信方案中信道分配以及同步传输调度算法等问题;同时,深入研究了实际分组交换网络中多媒体同步控制机制等问题。概括起来,本文在以下几个方面取得了研究成果:1.从时间理论和时态逻辑的途径出发,结合多媒体表现的动态特性,通过分析推导得出适合多媒体系统的非确定的时间片关系的扩展集,并将其简化为只有6个操作符规范的、非常直观的多媒体时态模型。2.给出了建于多媒体系统时态关系扩展集基础之上的TPN网模型描述,证明了任意多个媒体对象之间的同步关系均可以用TPN网模型来表达。3.提出了一个新的基于TPN网的交互式多媒体动态同步模型IDSM,该模型充分考虑到分布式环境中多媒体的动...  (本文共125页) 本文目录 | 阅读全文>>