Petri网的标注可达树

来源 :软件学报 | 被引量 : 0次 | 上传用户:maomao820
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文基于Petri网的可达树的概念,给出标注可达树定义,并且证明网N与其标注可达树是一一对应的。然后,我们给出了网N与相应的标注可达树的相互转换算法。
其他文献
本文介绍了一种区域边界的识别算法和一种区域标记的算法,前者在有若干区域的多条边界相交及存在边界公用的情况下,通过直线生成的方法能寻找出每一个最小区域的完整的区域边界;后者则能在识别出区域边界的基础上进行区域的标记,把区域分割出来,这两个算法已用于电脑刺绣编程系统的图象预处理系统,效果良好。文中并通过实例说明了这两个算法的特点。
近年来随着结核病发病率的不断增加,抗结核药物的应用越来越广泛,药物性肝损害也明显增多,这已成为结核病患者停止化疗的主要原因.2000年11月-2004年11月,我们应用硫普罗宁治
本文在证明了Bzier三角曲面片的中点部分网格收敛性质的基础上,通过中点剖分算法给出了Bzier三角曲面片的生成显示算法与求交算法。
一、问题的提出我国高等职业教育自改革开放20多年来,由于社会的发展、科技的进步,各类高职院校已有了较大的发展,特别是2000年10月11日,中国共产党第十五届中央委员会第五次
近年来关于儒商问题的探讨的文章不少,主要集中在何谓儒商,儒商的标准是什么,关于这些问题,可谓仁者见仁,智者见智。儒商是个宽泛的概念,很难用固定词语来表达它的含义。大体来说所
Jane Eyre,a historic Mirror is from 3 aspects to illustrate the author's point of view in details,and the emphasis is according to the background of Victori
期刊
学生教学信息员是教学管理的重要组成部分,在促进教学改革和提高教学质量的过程中起着监控、桥梁和纽带的作用。文章从建立学生教学信息员制度的意义入手,分析了实施学生教学
高等职业教育是我国高等教育的重要组成部分,其人才培养水平如何,直接关系到我国社会主义建设事业的成败。在由规模扩张到内涵建设发展的转化过程中,高职院校校园文化建设日益凸
信用评级机构作为资本市场的信息平衡者,在此次金融危机中严重失职,先虚高评级后骤然降级而加速了危机演进。反思具有最发达的信用评级市场的美国对信用评级机构的监管演进,
砌筑砂浆在建筑工程中是一种用量较大的建筑材料。砌筑砂浆起着粘结砖、石、砌块,构筑砌体传递荷载的作用,是砌体的重要组成部分。砌筑砂浆的质量,直接影响砌体的质量,从而影响工