【摘 要】
:
Petri网是对具有并发、同步、异步、冲突、资源共享以及不确定性等特点的离散事件系统进行建模分析的有效工具。随着现实中系统规模的不断增大,作为支持Petri网可视化建模与
论文部分内容阅读
Petri网是对具有并发、同步、异步、冲突、资源共享以及不确定性等特点的离散事件系统进行建模分析的有效工具。随着现实中系统规模的不断增大,作为支持Petri网可视化建模与仿真分析的计算机辅助软件就显得十分重要,它不仅可以大大简化建模过程,而且还能显著提高模型分析的可靠性和有效性。
本文详细讨论了Petri网的基本概念、基本性质、主要的分析方法以及主要的扩展形式,并在此基础上,研究和开发了一个较为通用的Petri网仿真平台(PNSP),为常用的Petri网模型提供可视化建模和辅助分析。本文的主要工作包括以下几方面:
(1)将时间、子网变迁引入Petri网仿真,增强模型的描述能力,简化模型规模,使得工具更适合于对复杂系统进行建模仿真。
(2)为常用的Petri网模型(基本Petri网、时间Petri网、随机Petri网和层次Petri网)提供可视化建模和仿真分析功能,大大拓展了工具的适用性。
(3)提供常用的辅助分析:基于不变量的辅助分析和基于可达树的辅助分析,实现了不变量的求解和可达树的构造。
(4)支持PNML的语法规范,便于与不同的Petri网工具进行数据交流。
本文在第三章和第四章详细论述了Petri网仿真平台的设计方案、关键技术和具体实现,并分别就辅助分析功能和模型仿真功能给出了具体的应用实例,有效说明了工具的应用价值。
其他文献
随着无线通信和室内定位技术的广泛应用,室内位置服务快速发展,移动对象索引技术作为支撑位置服务的核心技术,对其的研究变得越来越重要。现有的移动对象索引技术大多都是基
计算机技术特别是网络技术的飞速发展,深刻地影响着人们的工作、生活和思维。单位机构的日益分散,部门之间、员工之间的共同协作要求却大大增加,能提供轻松、快捷的消息和协
随着计算机技术的不断发展,尤其是基于Web的信息发布和检索技术的发展,导致了整个应用系统的体系结构从客户/服务器(以下简称C/S)的主从结构向灵活的分布式结构的演变。这一
世界经济全球化、社会信息化的步伐不断加快,互联网起到了不可替代的作用,但同时也带来了各种问题,计算机安全成为了一个严峻的现实难题。安全审计系统是防火墙和入侵检测系
P2P模式由于其非中心化、易扩展、稳定性高、负载均衡等优点,越来越多地被应用于内容分发、即时通讯、分布式计算、协同工作等各个领域,并促使这些领域出现了新的发展和应用
客户关系管理(CRM)是目前计算机领域和管理营销领域的研究热点。新时代下,信息技术的发展和Internet技术的广泛使用,潜移默化地改变着人们的生活思维方式,随着市场经济的繁荣
随着Internet的日益普及,Web应用的复杂性不断的增加,其规模也在不断的扩大,对于应用的灵活性、可靠性和个性化都提出了更高的要求,这就给Web应用开发带来了新的挑战。因此,一种好
光突发交换(OBS)网络是一种新型的网络结构,对于业务数据完全透明,不需经过任何的光电转换,解决了因电子瓶颈而导致的带宽扩展困难,是一种很有发展潜力的光网络技术,已经成为
地理空间数据对数字城市的建设至关重要,将现有的地形图数字化,并对地图要素进行自动提取和识别以获得地理信息,是获得地理空间数据的一种低廉而高效的方法,在今后相当长的一
Web服务组合可以有效地支持企业内部跨部门的横向业务集成,以及横跨业务伙伴的企业间业务集成。组合Web服务验证可以检查集成业务是否是可终止的、有效的和正确的。两者蕴藏着