math - 無向グラフの抽象化

Question

無向加重グラフがあり、それを正式に説明する必要があります。オートマトンまたはラベル付き遷移システムによる抽象化は、無向グラフでは定義されていないようで、有向グラフのみがカバーされています。グラフ内の状態は互いに依存していますが、方向自体は関係ありません。

そのようなグラフを正式に説明するためにどの数学モデルを使用できるか知っていますか?