Compositionality in the GreatSPN tool and its application to the modelling of industrial applications