1) coverability graph
可覆盖性图
1.
The coverability graph of Petri net is one of the most commonly used methods of analyzing Petri net.
Petri网的可覆盖性图(可达标识图)是分析Petri网的最常用方法之一,它能很好的分析Petri网的安全性、有界性、守恒性和可覆盖性等问题,但由于无界量符号ω的引入引起信息丢失,因而Petri网的可覆盖性图不能完全模拟Petri网的运行。
2) coverable developing graph
可覆盖性演变图
1.
In this paper, the generating method of coverable developing graph for UTHPN is given by presuming on the symbol w of unbo.
在本文中,通过引入无界量符号w,给出了UTHPN的可覆盖性演变图的构造方法,并在此基础上讨论了UTHPN的有关性质。
3) coverablity graph
可覆盖图
5) modified coverablity graph
修正可覆盖图
6) H-equicoverable graph
H-等可覆盖图
补充资料:土地覆盖图
表现土地自然面貌和人类开发利用状况、特点及其区域结构特征的专题地图。
土地覆盖图最早是人们为了了解土地利用的实况,开展土地利用调查和制图而产生的。迄今土地覆盖图的分类,仍然与土地利用图的分类有很多相近之处。主要差别在于土地覆盖图注重自然的实况,即地表的自然状况,不附加生产技术措施和经济发展规划的指标。其内容包括耕地、林地、草地、水域、居民点、工矿交通用地、沙漠、冰川雪被等的分布状况。它便于人们了解环境的一般实况和土地的动态变化。在区域开发规划和工程设计中,对摸清资源的质量、数量、开展各种土地利用类型的面积量算、制定土地资源开发利用的政策,以及保护治理的计划,有实用的价值。
土地覆盖图最早是人们为了了解土地利用的实况,开展土地利用调查和制图而产生的。迄今土地覆盖图的分类,仍然与土地利用图的分类有很多相近之处。主要差别在于土地覆盖图注重自然的实况,即地表的自然状况,不附加生产技术措施和经济发展规划的指标。其内容包括耕地、林地、草地、水域、居民点、工矿交通用地、沙漠、冰川雪被等的分布状况。它便于人们了解环境的一般实况和土地的动态变化。在区域开发规划和工程设计中,对摸清资源的质量、数量、开展各种土地利用类型的面积量算、制定土地资源开发利用的政策,以及保护治理的计划,有实用的价值。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条