This paper presents a component model inspired by the CORBA Component
Model, and an associated formal notation based on Petri nets and
dedicated to the modelling of concurrent and distributed
components. The model is illustrated by a case study that illustrates
its hierarchical features, and shows how the main features of
components can be mapped to the constructs of the Petri net.