Petri网结构理论研究

来源 :西华大学 | 被引量 : 0次 | 上传用户:bowangmosong1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Petri网是建模和分析的工具,它的主要特性包括:并行,不确定性,异步和分步描述能力和分析能力。它既有直观的图形表示,又有深刻的数学内涵和基础。Petri网的结构理论的思想是以某种特定结构比如siphon(Siphon是这样一些库所的集合:关联的流入变迁,一定也是关联的流出变迁,所以一旦siphon不被标识,将永远不被标识,这一特征对于网的活性,弱活性的描述极其深刻)、不变量和子网覆盖,通过这些结构上Token的分布特征研究网的动态行为。本人的工作是结构理论下的研究。利用结构性分析理论、化简技术、不变技术,对Petri网的主要行为特征进行了较为深入细致的研究,得到一些新的结果:Petri网中,混惑会给系统分析和系统控制带来麻烦,有混惑的系统不是好系统,有混惑的模型不是好模型。文中针对混惑的特质进行了研究,在已知的3种结构混惑(增混惑、减混惑、不增不减混惑)的基础上,证明了不增不减混惑是增混惑和减混惑的复合,这使得在解决混惑的检测与消除的时候,进一步减小问题的规模,并在随后的研究分析中得到了混惑的充要条件,同时借助带抑制弧的Petri子网构造了混惑的消除器,并利用可达图对构建的混惑消除器进行分析,证明了它是可行的。现在流行的分析技术(siphon与陷阱,siphon与不变量,覆盖技术等)都面临随着Petri网规模的扩大而随指数阶增长。Petri在1986年的“‘Forgotten Topics’of Net Theory”中提出了信息流的概念。用信息流替代原来的结构,用信息流的构造规则的Petri网表示来构造Petri网,达到避开状态空间爆炸问题的目的。以此目的,本文在基本网系统和C/E系统这一级别上,构造出了信息流运算的一个最小完备集{P1,Q}的Petri网表示。构造的Petri网简洁而准确的刻画了信息流运算与流动的特点,并能根据所构造的Petri网来体现信息流的复合运算。
其他文献
随着国际互联网的迅猛发展,网上文本信息资源以指数级的速度增长。如何快速有效地将文本按其内容进行分门别类的整理,以便于利用这些海量文本,变得越来越重要和困难。因此,研究文
汉字是世界上历史最悠久、使用人口基数最大的一种文字。汉字的书写学习具有一定的难度,特别是对于初学汉字的低龄儿童来讲。传统的汉字书写学习都是在课堂上完成的,老师不能
随着信息技术的迅速发展,信息管理系统不断升级和整合,其中必然要面临数据迁移的问题。针对现有数据迁移工具在数据转换、数据映射关系等方面存在缺陷,研究数据迁移技术,并开
云计算是近年来热度很高的新技术,而用户隐私保护一直是影响云计算推广的重要问题。当前,在对云计算的研究中,已有一些学者提出了不同的用户隐私保护的方案,但是针对云服务提
多智能体协作是多智能体系统MAS研究的核心问题。在复杂、动态、不确定的多智能体环境中,为了满足多智能体协作中对局部配合和通信受限的要求,本文对智能体策略寻优、行为协
图像融合是一门聚合了传感器、信号处理、图像处理、计算机视觉、人工智能等交叉学科的技术手段。性能优异的融合算法能够提取多源信息的兴趣属性、提高图像信息容量、增强特
网络技术的飞速发展和移动计算机的广泛应用,使人们对移动互联网的需求变得十分迫切。这种迫切需求极大地促进了移动IP的研究,其中移动IPv6协议扮演越来越重要的角色。随着移
自计算机产生伊始,对计算机图形和动画的研究就没有停止过。随着影视业在人们生活中发挥着越来越重要的作用,计算机图形学和动画技术在过去的30个年头里得到了惊人的发展。与
当今是图像爆炸式增长的时代,急切需要与之相适应的图像管理和检索能力。图像标注不仅可以为普通用户提供与之使用习惯更加符合的以Web图像搜索为代表的图像检索服务,还将为
目前市场上的报表工具种类很多、功能各异,大多提供了类型和样式定制功能。这些报表工具基于静态存储数据的数据库表,而此类静态数据库表不支持企业的业务扩展或变化。为了在