Agent-Based Service Composition in Cloud Computing
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems