基于Petri网下的离散事件的模拟与动态系统的验证

来源 :西华大学 | 被引量 : 0次 | 上传用户:alim_zheng
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Petri网适合于网络环境下的信息处理系统的描述和建模。它的主要特性包括:并行、不确定性、异步及分步描述能力和分析能力。Petri网以其简洁、直观、潜在模拟能力强等特点被广泛用于离散事件系统的模拟和分析。例如:Petri网可以很好地描述多处理器计算机系统、计算机网络、交通控制系统等。Petri网作为一种图形工具,除了可以用作类似于流程图、框图和网图等可视交互工具外,重要的在于它用静态的直观图形蕴涵着系统的动态行为,这是经典图论不能具备的特点;同时它又包容经典图论,几乎所有图论的结论、方法都可以直接、间接地使用和借鉴;而经典图论在描述网络环境时是困难的。 Petri网是一个有着深刻的学术内涵,又有着广阔的应用背景的计算机理论与应用的学科分支。作为一种数学工具,可以对Petri网建立状态方程、代数方程以及和逻辑之间的联系等。根据需要从不同的角度出发,采用方便的分析工具,通过分析静态特征把握系统的动态行为,这就是Petri网的研究的方法论;另外,Petri网有着自我解释的能力。比如在计算机科学中,进程是一个非常重要的概念。在Petri网研究中,通过进程研究网的性质,同时进程的定义又可以用Petri网的特殊子类——出现网给出。
其他文献
数据挖掘技术可以从数据仓库中的历史数据里提取出有价值的信息。关联规则数据挖掘是其中一个重要研究方向,挖掘的关键是选取恰当的算法,算法的优劣直接影响到挖掘的效率。迄今
本文课题背景为国家“驾驶员辅助决策人工智能系统”及“驾驶员辅助决策支持系统”。驾驶员辅助决策人工智能系统(PAAIS,Pilot Assistant Artificial Intelligent System)采
随着计算机网络的迅猛发展,许多企业和学校都能够通过企业内部网(校园网)迅速获取所需信息。但是这些信息中含有一些非法的、反动的以及不良的信息。为了实时监控和过滤这些信
嵌入式系统应用领域不断扩大,嵌入式计算机系统设计方法的研究也发展到了一新的阶段——软硬件协同设计的方法。一般来说嵌入式系统对产品成本很敏感,而软硬件的划分对最终产品
随着视频点播业务的发展,传统的单点服务器出现了服务器性能有限、存储空间有限与带宽有限等问题,这使VOD系统在规模上有了很大的限制。针对这种情况,人们采取了使用多台分布式
在航空测量领域,运动物体运动参数的非接触式测量是非常重要的研究内容,一般采用视频变形测量(Video Measurement Deformation, VMD)的方法,视频测量技术用于确定三维空间物
在航空测量领域,运动物体的运动参数非接触式测量是非常重要的研究内容,因为在航空器,推进器,武器系统,风洞流场等的性能测试中,往往会遇到难以使用接触式传感器进行测量的情况。随
一个实时系统是指计算的正确性不仅取决于程序的逻辑正确性,也取决于结果产生的时间,如果系统的时间约束条件得不到满足,将会发生系统出错。实时系统有广泛的应用领域,包括多媒体
目前的科研和商用人脸识别系统能够在小规模人脸数据库、用户配合、摄像环境接近理想的情况下获得令人满意和满足一定实际生产要求的结果,但在更大规模人脸数据库、用户不配
本文基于对目前宽带接入网网管实现技术的研究,提出了采用TMN(电信管理网)体系结构和SNMP为接口的统一网管分层体系结构。整个结构从下到上依次为数据交换层、数据分析处理层