论文部分内容阅读
Petri网的可达性树和可达性图都是分析Petri网的一种工具.本文先给出了如何从可达性树转换成可达性图,然后利用可达性图来判断petri网的可达性以及活性.并将可达性图与可达性树进行比较,证明了可达图是较可达树更为有力的一种分析工具.
利用可达性图判断petri网的可达性以及活性
【摘 要】
：
Petri网的可达性树和可达性图都是分析Petri网的一种工具.本文先给出了如何从可达性树转换成可达性图,然后利用可达性图来判断petri网的可达性以及活性.并将可达性图与可达性
【机 构】
：
德州学院计算机系
【出 处】
：
中国科技信息
【发表日期】
：
2006年12期
其他文献
戏剧表演中包含了很多种艺术元素,而声乐舞台表演艺术对其精华加以吸收,并对其进行有机结合,能为声乐舞台表演创造更为震撼的效果。本文主要对戏剧表演和声乐舞台表演两种艺
介绍了环境噪声污染的危害，从吸声、隔声、消声三方面分析了噪声治理的基本原理，从锅炉风机噪声的防治出发，论述了某矿锅炉风机噪声的降噪节能治理技术，并对降噪及节能效果进行了
<正>这一年,卓文君42岁了。这个岁数的女人多少都会有点尴尬,说好听点叫徐娘半老,风韵犹存;说难听点就叫半老徐娘,韶华难留。揽镜自照,昔日的花容月貌早不知跑到哪里去了,眼
古代中国人何时到达美洲?这是一个国内外学术界争论了两个多世纪的历史难题,发表了很多观点不同的文章。归纳起来,主要有两种见解:其一,认为中国人在公元五世纪或公元前1500
目的：观察美托洛尔对心力衰竭（HF）大鼠在体心肌组织磷酸化缝隙连接蛋白43（p-Cx43）表达水平和心肌细胞凋亡的影响，并探讨其可能机制。方法：SD大鼠100只随机分为5组（n=20）：假手术（sham）组、
宣木瓜为安徽宣城特产水果，加工中极易变色。实验研究植酸、柠檬酸、Vc和柠檬酸亚锡二钠在罐头加工过程中的护色效果。通过单因素实验和正交实验研究最优的护色方案，并确定最佳
在供电企业管理中运用精益生产管理的方式,可以有效改变供电企业传统且粗放的管理模式,进一步实现集约式管理,使得供电企业的管理理念可以发生极大的改变,进而提升其整体管理
目的对踝关节骨折合并三角韧带的损伤进行修复重建的临床效果探讨与理解。方法收集2017年6月—2018年9月收治的20例患者进行踝关节骨折合并三角韧带损伤的切开复位与内固定的
礼仪素养是职业素养的重要组成部分,为高职学生求职就业、生涯发展、人际交往所不可或缺的素养。本文创新性地通过对工匠精神、职业精神内涵的分析,挖掘职业素养中的礼仪素养