Improving the quality of alerts and predicting intruder's next goal with Hidden Colored Petri-Net