Quantitive and qualitative extensions of event structures by J.P. Katoen