در معادن، بهویژه معادن زغالسنگ، گازهایی مانند متان و کربن مونوکسید وجود دارند که باید مدام پایش شوند تا از حوادث جلوگیری شود. معادنی که در آنها گاز زغال از لایهها به داخل حفاریهای معدنی آزاد میشود، معادن گازدار نامیده میشوند. در این معادن، ذرات ریز زغالسنگ قابلیت انفجار دارند و بر اثر استخراج به صورت گردوغبار در فضای معدن پراکنده میشوند.