The intention of this paper is to extend the generic component framework to partial composition. Basic Ideas of partial composition were introduced in [EM90] but we additionally want to allow component verification based on export-import implications. Import-Export implications relate sentences of the import stating what the component requires to sentences of the export stating what the component guarantees. The main result of this paper is the compatibility of import-export implications are compatible with the partial composition. The second part illustrates how this abstract concept can be instantiated to Petri net systems
