连续Petri网的合成运算

来源 :北京大学 | 被引量 : 0次 | 上传用户:dvrgbedr544y4d
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Petri网是目前分析动态系统的一种广泛研究和应用的模型,已经建立了坚实的理论基础,并提出了多种扩展模型,如混合Petri网、时态Petri网、着色Petri网、面向对象Petri网、连续Petri网等,这些建模和分析方法在工业过程控制、制造系统、交通控制及离散事件系统等领域得到广泛的应用。   Petri网合成技术是系统建模中一种重要的自底向上的建模方法,共享某些公共库所或变迁的小型Petri网按合成规则组合成复杂网系统,适用于具有异步、并发特征的复杂应用环境。而目前国内外对连续Petri网的合成运算研究得比较少,因此在理论上对连续Petri网的合成给出确切的定义、对合成连续Petri网的性质进行分析和判定,并对其应用进行研究就显得十分必要。   本文首先介绍了与离散Petri网系统的合成运算相关的理论,随后在连续Petri网系统定义的基础上提出了连续Petri网的某些组合规则,为连续Petri网的分析与组合提供了新方法和理论。接着,论文讨论了合成连续Petri网的性质,并给出一个基于合成连续Petri网模型对柔性制造系统建模的实例。最后,本文设计与实现了一个用于合成连续Petri网的模拟软件工具,为用户对连续Petri网合成操作进行模拟及性质验证提供方便。
其他文献
随着时代的不断进步,计算机与网络的性能取得了飞速的提高;与此同时,科学研究领域以及工程领域对于计算能力的要求也在与日俱增。在这样的背景下,网格计算技术应运而生。网格
随着高精度质谱技术的飞速发展,基于生物质谱分析的蛋白质、肽段鉴定已经成为蛋白质组学的核心技术。蛋白质、肽段鉴定方法主要分为两大类:数据库搜索和肽段从头测序。数据库
自从Adleman首次利用DNA分子及生化反应求解困难的计算问题以来,不少研究人员希望借助DNA分子海量并行的计算能力、高密集的存储能力及其特定的生物活性来设计一种新型的DNA
计算流体力学(Computational Fluid Dynamics)和有限差分方法(FiniteDifference Method)是科学计算中最为常用的计算方法,其单指令多数据流(SIMD)的计算特点为GPU加速提供了可
随着互联网技术的普及和发展,人们的工作与生活越来越依靠从网络上获取有用的信息。现代的科研工作者为了更好地进行科研工作,往往也从网络上搜集一些重要的科研文献资料。因
三维热传导方程是一类重要的偏微分方程,其广泛应用在求解依赖时间变化的各种工程领域中,如地下水流动模拟与油藏数值模拟等。该方程已被用来解决复杂性高、规模大且计算量大
学位
随着集成电路功耗密度与总功耗的增长,芯片温度呈上升趋势。高温度不仅影响性能,还影响集成电路的功耗与可靠性。温度已经成为集成电路设计中的重要考虑因素。研究者积极寻求电
学位
文档图像主要由文字辅以图案、符号构成,它一般由传统纸质文档经过扫描得到,在文档数字化存储、数字图书馆建设等方面应用广泛。另一方面,数字化的文档极可能在诸如手机、高
随着Internet的迅速发展,中间件作为“网络环境的系统软件”逐渐呈现出功能领域化、形态平台化和应用泛在化的特点,这导致了多个中间件产品及实例需要聚集在一起,通过相互协作来
学位
地质统计学(Geostatistics)是极具发展前景的新学科,从它产生至今近五十年的发展时间里,它的应用范围早已突破了地学领域,在医学、环保气象、农田水利、图像处理等许多领域已