Event Detection in Wireless Sensor Networks -- ?-Net Approach to Sensor k-Coverage --