时间Petri网的活性、有界性研究

来源 :山东科技大学 | 被引量 : 0次 | 上传用户:xiehao2008
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Petri网是一种用于描述系统的动态行为和分析系统的动态性质的数学模型,对描述和分析并发现象有其独到的优越之处,非常适合于异步并发系统的建模。为了刻划同系统行为密切相关的时间因素,又定义和研究了各种含时间因素的Petri网。 活性和有界性是Petri网中最重要的性质,对于传统Petri网中的这些性质,大都已经得到了较为满意的判定结果,而对含时间因素的Petri网的这些相应性质研究得很少,大部分文献都是侧重于具体的应用。 本文研究的Time Petri Net(简称为TPN)简单且模拟能力等价于图灵机,但TPN的活性、有界性和对应的传统Petri网的相应性质并无对应关系。 所以本文就从这个背景出发,讨论了TPN的模拟能力,并给出了TPN能进行“零检验”的一个例子,给出了另一种含时间因素的时延Petri网向TPN的转换方法,给出了保持活性、有界性的两个时间区间上的充分必要条件,最后,给出了保持活性的结构上和动态上的两个充分条件。为利用传统Petri网的性质判定结果来判定时间Petri网的相应性质提供了可能性。
其他文献
随着并行处理技术的不断发展,机群系统因其良好的性价比、卓越的可扩展性与可用性,逐渐成为当前高性能计算机领域的主流结构。在机群系统中,机间通信的性能是影响整个系统性
ARTs-OS的中断管理模型是在对各种实时系统实现技术的评估和系统的具体需求的分析基础上建立的.ARTs-OS的中断模型包括了中断模拟、中断的优先级调度、中断屏蔽、核外中断等
该文从理论和实践两个方面,对面向对象的中间件技术进行研究.论文首先从系统建模的角度论述了面向对象的重要概念和通用建模语言(UML),然后研究了三种主流的面向对象中间件技
学位
随着医疗卫生服务信息化进程的推进和医疗数据的积累,医疗人工智能已经成为了医疗领域内的研究热点。其中,通过病人门诊、住院、用药及健康等相关数据给出具有临床意义的病人间
近年来,电信网综合通信能力明显增强,运营商必须提供更多的多媒体业务才能吸引住用户,因此网络面临的压力越来越大。在这一发展背景下,基于软交换技术的下一代网络(NGN)技术应运
该论文中利用中文信息检索标准测试集,对信息检索系统及其算法进行了科学客观的评价,并对中文信息检索的最佳检索单元进行了详细的讨论和研究,在此基础上,重点讨论和研究了利
SAN使存储资源与服务器分离,可以提供100兆字节/秒的高性能数据管道和共享的集中管理的存储设备,使得数据的访问、备份和恢复不会大幅度降低网络性能,消除人们对网络带宽的顾虑。
随着Internet的飞速发展和广泛应用,大量的网络病毒已将Internet作为其一种主要的传播途径。网络病毒传播的方式很多,如通过访问网页、电子邮件以及FTP文件传输等等。为了使Web
机器学习的方法在数据挖掘领域有广泛的应用。在当今的机器学习领域,人们经常采用多预测模型的方法以提高预测的准确性。所有这些多预测模型方法可以归为两类:(1)专家方法 (2)
学位