推荐新闻

当前位置:[首页] > 行业核心 >

行业核心

一种构造Petri网可达图的手段

来源: http://redguia.com 发布时间:2021-09-22

  文章编号:1000- 1638 1999 0320392204 内蒙古大学计算机学院,内蒙古 呼和浩特, 010021 摘要: 网是一种系统设计和分析的工具,为了完成 网的各项分析,还需 借助如可达树、矩阵方程、可达图等工具 本文将提出可达图的一种构造方法 关键词: 可达图;标识 中图分类号: 301文献标识码: roach eachab ility ian2tao rsity olleg ience, ot,010021, system lysis design lete llso ly2sis, tools su ch reachab ility ixequ ewtoo lysis resen ted Key word reachab ility 的概念和理论是1962 网可以模拟各种各样的系统, 然而, 模拟本身不是目的, 主要是为了分析被模拟的系统 与人们所熟知的有限状 态机一样, 网是一种进行系统分析和研究的工具但是, 网强大的分析系统的能力,是诸如有 限状态机等工具无可比拟的 网的分析工具,如可达树和矩阵方程, 不能完全提供对 网的各项分析本文将提出 称为一个网,其中: pm}是有限位置集; tn}是有限变迁集; }是初始标识;并且: 前置集,后置集 }为后置集定义 点火规则收稿日期: 1998212224 基金项目: 国家自然科学基金资助项目 69863001 作者简介: 河北省丰宁县人,硕士研究生 点火变迁后,演变到新的标识M 网按照点火规则,对使能的变迁执行点火, 可以反映出被模拟系统的动态特性 定义 即在此标识下任何一个变迁都不能点火定义 相等两标识M 称为是相等的,记为M 个位置上的标记数一一对应相等 定义 的某些分量某些位置上的标记数 大于标识M 中相对应的分量,而其余分量一一对应相 的某些分量某些位置上的标记数 小于标识M 中相对应的分量,而其余分量一一对应相 hose reach 2ab ility 上未标出具体数字的弧,均表示其权为 reach2ab ility 是有限的定义 eachab ility 表示从一类可达标识到另一类可达标识的有向弧; 首先,我们给出 ′与已有的可达图中的某个标识相等,则绘制由M 到已有标识的弧即可; 或小于已有的可达图中的某个标识, 则判断M ′是否按相应弧上的权值递增 若是,则将M ′与已有标识抽象成一类标识, 递增 或递减 的相应分量表示成“权值n ”的形式; ′为一新的可达标识,绘制由M 算法直到没有任何一个变迁使能或没有任何一个使能变迁可产生新的可达标识时停止接着, 给出具体算法中用到的几个相关的概念和符号表示: 终止结点 对应死标识的结点重复结点 uplica te 该结点的标识与已有结点的标识重复或包含在已有结点的标识集合中 表示可达图中与标识M相对应的结点 reate 标识的有限集合的结点 网的可达图是死标识, stru reachab ility reate then reate then then then sm reate 接下来,我们将 算法细化如下注意, 以下算法中的 表示任意一个自然数我们将具体的标识表示为含 的一类标识的过程称为标识抽象过程算法 then then then reate then then reate reate 本文,我们提出了一种 网可达图的构造算法首先, 需要说明的是, 由于系统的复杂性可能造 网状态空间的爆炸,但是, 我们能够在保持 网性质不变的前提下,将一个庞大的 分解成较小的子网,以保证本文提出的算法更易操作 其次, 由本算法构造的 网可达图的表示方法是唯一的因为, 我们的算法生成的可达图包含 了所有的可达标识, 并且将一类有共同特征的标识抽象为唯一的一种表示 进一步的工作可以考虑利用可达图如何对 网进行分析,并且可以考虑它与以往的分析工具 的比较 参考文献: theory nglew oo ll,Inc 1981 杨光宇 计算机应用研究,1996 19~21 KU ENSEN Co nden sed tate Sp ace fo Colo red thod

· 友情链接

网站地图 XML地图 txt地图 TAG标签

电话:86-0773-60406884 邮箱:673427525@KHISI.net

地址:云南省宣威市祁连路大寺沟桥西2号  技术支持:大阳城集团网站(http://redguia.com)

redguia.com 大阳城集团网站