ProM
ProM Downloads 2016
Note that the numbers of downloads of the ProM Nighlty Builds are very low. Most likely, these low numbers are caused by the fact that the Nightly Build page (www.promtools.org/prom6/nightly) did not register these downloads. This has now been changed, so I expect the numbers of downloads for the Nightly Builds to go up. … [Read more…]
New Visualizer Plug-ins: Visualize (Accepting) Petri Net using Reduction Layout
Two new visualizer plug-ins have been added to the ProM Nightly Build: One to visualize regular Petri nets and one to visualize accepting Petri nets. Both visualizer plug-ins use JGraph to visualize the net at hand, but they will use their own layout algorithm, which is based on existing Petri-net-based reduction rules. As an example, … [Read more…]
New Plug-ins: Import and Export from and to IEEE XES Files
Eight new plug-ins have been added: Import Lenient Log from IEEE XES Log File Import Lenient Log from Compressed IEEE XES Log File Import Conforming Log from IEEE XES Log File Import Conforming Log from Compressed IEEE XES Log File Import Strictly Conforming Log from IEEE XES Log File Import Strictly Conforming Log from Compressed … [Read more…]
New Plug-in: Replay using Recomposition
A new plug-in has been added to the Divide-and-Conquer framework: The “Replay using Recomposition” plug-in. Initially, this plug-in is similar to the “Replay with Decomposition” plug-in, but it does not stop there. Where the “Replay with Decomposition” plug-in stops after having done the decomposed replay, the “Replay with Recomposition” possibly continues to improve on the … [Read more…]
Recent Comments