Top-10 ProM plug-ins August 2017

This bar chart shows the top-10 plug-ins based on their runs as registered by Google Analytics. These registrations by Google Analytics can be enabled (or disabled) using the Package Manager of either ProM 6.7 or a recent ProM Nightly Build.

Developing and running ProM plug-ins on your local computer

To develop and run your plug-ins on your local computer, please perform the following steps: Install Eclipse IDE for Java Developers Install in this Eclipse the Subclipse and the IvyDE plugins Create a new “SVN/Checkout Projects from SVN” project, and select https://svn.win.tue.nl/repos/prom/Packages/NewPackageIvy/Trunk as the folder to check out. In the local project, you can then … [Read more…]