论文部分内容阅读
通过在ω符号中加入令牌数增减的信息,改进了原标识Petri网覆盖树的构造方法,从而提出了一种新型的覆盖树,即改进覆盖树.这种覆盖树是有限的,它可以覆盖所有的可达标识,并且每一节点都含有可达标识.这种覆盖树可单独用于检测标识网的死锁,文中示例表明它是有效的.
改进覆盖树与标识网死锁的检测
【摘 要】
：
通过在ω符号中加入令牌数增减的信息,改进了原标识Petri网覆盖树的构造方法,从而提出了一种新型的覆盖树,即改进覆盖树.这种覆盖树是有限的,它可以覆盖所有的可达标识,并且
【机 构】
：
华南理工大学电子与信息学院,广东海事局
【出 处】
：
华南理工大学学报：自然科学版
【发表日期】
：
2001年8期
【基金项目】
：
国家自然科学基金，广东省自然科学基金，教育部优秀青年教师资助计划
其他文献
目的：探讨人常规体外受精（in vitro fertilization，IVF）中严格精子形态分析正常形态精子百分率与受精率之间的关系，分析正常形态精子百分率对常规1VF受精率的影响。方法：IVF前3个月