Definition and analysis of composition structures for discrete-event models.