Describir: Petri Nets-based Models for Web Services Composition