A number I saw a few years ago, is that the just the plugin market for Petrel is estimated at 4.5 billion USD annually.

Unfortunately I have no way to verify the source.