通過樓宇自動化系統(tǒng)的屬性鄰接圖表示方法，空間拓撲與CPN拓撲不一致問題轉(zhuǎn)化為子圖同構問題解決，下面三水智能化給出樓宇自動化系統(tǒng)圖同構與子圖同構的定義。

樓宇自動化系統(tǒng)建設算法定義1(圖同構)：給定一個查詢圖q=(V，E)和一個數(shù)據(jù)圖g=(V′，E′)，如果存在映射函數(shù)M，使得V→V′，并且?(ui，uj)∈E，(M(ui)，M(uj))∈E′，同時存在映射函數(shù)M，使得V′→V，并且?(ui，uj)∈E′，(M(ui)，M(uj))∈E，那么q與g是同構的。

樓宇自動化系統(tǒng)建設算法定義2(子圖同構)：給定一個查詢圖q=(V，E)和一個數(shù)據(jù)圖g=(V′，E′)，如果存在映射函數(shù)M，使得V→V′，并且?(ui，uj)∈E，(M(ui)，M(uj))∈E′，那么q與g的一個子圖是同構的，記為q∈g。