Event correlation tool for event processing of various kinds