通過樓宇自動化系統(tǒng)的屬性鄰接圖表示方法，空間拓?fù)渑cCPN拓?fù)洳灰恢聠栴}轉(zhuǎn)化為子圖同構(gòu)問題解決，下面三水智能化給出樓宇自動化系統(tǒng)圖同構(gòu)與子圖同構(gòu)的定義。

樓宇自動化系統(tǒng)建設(shè)算法定義1(圖同構(gòu))：給定一個查詢圖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是同構(gòu)的。

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