Regional geographic information systems for gas network monitoring · Study