Top-10 ProM plug-ins January 2020

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 better) or a recent ProM Nightly Build.

Top-10 ProM plug-ins December 2019

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 better) or a recent ProM Nightly Build.

Add History/Future Attribute

Adds a history or future attribute to every event in the log. Version Log 6.10.392. Input An event log. A configuration (optional). Configuration Whether history or future. Defaults to history. The key of the new attribute. Defaults to “history”. An array containing the keys of the attributes from which the history or future is to … [Read more…]