【摘 要】
:
Petri网是描述和分析并行与分布系统的有力工具,为扩展Petri网的建模与分析能力,使之能够处理时间相关的问题,人们将时间约束引入Petri网模型中,形成带时间约束的Petri网.Mer
论文部分内容阅读
Petri网是描述和分析并行与分布系统的有力工具,为扩展Petri网的建模与分析能力,使之能够处理时间相关的问题,人们将时间约束引入Petri网模型中,形成带时间约束的Petri网.Merlin定义的时间Petri网就是其中最常用的形式化模型之一.由于Merlin模型采用强时间语义,冲突变迁的选择会受到时间约束影响,因此无法有效建模外部环境触发的冲突选择,而且可调度分析能力也受到局限.为此,本文提出一种新的时间Petri网模型——基于弱时间语义选择的时间Petri网,并给出它的形式语义、可达性分析方法和工具设计.本文的主要贡献有:(1)提出基于弱时间语义选择的时间Petri网模型,该模型允许冲突变迁的持续使能时间超过它的时间上界,因此任何冲突变迁都有被选择的可能,从而解决了Merlin模型建模外部环境触发的冲突选择上的不足.(2)利用时间变迁系统(Timed Transiton System)给出基于弱时间语义选择的时间Petri网的语义,并在此基础上证明了Merlin模型的状态集是该模型状态集的子集.(3)利用时间戳状态类的概念,给出基于弱时间语义选择的时间Petri网模型的可达性分析方法,并证明通过该方法得到的全局时间戳满足合理性与完备性.(4)使用XML作为时间Petri网的定义语言,采用分离时间类型与Petri网的设计思想,使工具的实现更具扩展性.本文的主要工作已在第十届联合国际计算机会议(JICC2004)上发表.
其他文献
近年来,针对传统企业和关键部门的计算机应用仅停留在诸如文档处理、公文流转以及信息发布等简单业务层面上,越来越多的企业或部门要求将信息技术的应用扩展到工作流系统,本文研
人工智能是当下的热门主题,实现对图像智能化的理解与分析是其中一个重要领域。图像智能包括图像分类,图像分割,目标检测等。目标检测是进行场景内容理解等高级视觉任务的前
数据挖掘是一种通用的技术,它是从大量的数据中提取人们感兴趣的模式的过程。将数据挖掘技术应用到网络安全当中,建立网络入侵检测系统模型,就是通过建立我们所需要的网络行
本文重点是对VLAN相关技术的研究.具体包括局域网与交换技术,VLAN技术,VLAN相关协议分析及其中继技术.特别是对2层交换、3层交换、IEEE802.1Q协议,以及以太网通道技术进行了
计算机网络和多媒体技术的发展,尤其是近几年基于TCP/IP的宽带网络的迅速发展和普及,基于IP网络的多媒体应用--MoIP(Multimedia over IP)成为一个备受关注的领域。社区宽带网的
虽然现在网上有海量的信息,例如Google能检索出成千上万的网页,但是仍然有很多信息没有办法被搜索到。很多知识不能存储于文档或者数据库中,而仅存在于人的脑子中,这些知识被
访存性能是现代计算机系统性能的主要瓶颈。近二十年来,由于生产工艺、电路设计等方面的进步导致处理器主频每年以60%的速度提高,而DRAM的工作频率每年却只有10%左右的提高。
中国加入WTO后,世界经济全球化使我国电信企业面临着前所未有的挑战。能否快速而科学的决策密切关系着电信企业的成败。目前各电信运营商普遍采用依靠手工报表分析数据的决策
在当今计算机领域中,网络安全是最热门的课题之一,而网络主动防御则是网络安全重要的一环。网络主动防御系统是一种智能化的网络保护手段,它可以让网络管理员减轻负担,而提高网络
电子商务改变了企业与客户的沟通方式,从而使传统的企业商务模式发生了深刻的改变.近年来,随着信息技术的飞速发展,移动通讯与互联网融合发展的趋势日趋明显,作为电子商务领