1) H-equicoverable graph
H-等可覆盖图
2) coverablity graph
可覆盖图
3) 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网的运行。
4) H-covering
H-覆盖
1.
A graph G is H-equicoverable if every minimal H-covering in G is also its minimum H-covering.
若图G的每个极小H-覆盖都是它的最小H-覆盖,则称图G为H-等可覆盖的。
5) 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的有关性质。
6) modified coverablity graph
修正可覆盖图
补充资料：[3-(aminosulfonyl)-4-chloro-N-(2.3-dihydro-2-methyl-1H-indol-1-yl)benzamide]
分子式：C16H16ClN3O3S
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条