For some of the plug-ins in ProM, the developer has chosen to issue an online documentation, which will be directly opended in a Browser from ProM.
For some of the plug-ins in ProM, the developer has chosen to issue an online documentation, which will be directly opended in a Browser from ProM.
The following pages attempt to group the plug-ins according to their functionality, and, therefore, some plug-ins might appear in more than one category. At the same time, not every plug-in available in ProM is represented (use the Help → Plugin reference in ProM to have a complete overview).