On the analysis of big data indexing execution strategies
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems