Event stream-based process discovery using abstract representations
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems