Revision 24628
General
- Requires Java 7. A Windows installer is available that includes a JRE7.
- Uses ​http://www.promtools.org/prom6/packages651a/packages.xml as default repository.
- Uses .ProM651 as default user folder.
Framework
- ProM.ini changed to reflect new repository location.
Package Manager
Established packages
- Added Daikon package.
RunnerUp packages
No changes
Starter packages
No changes
XESame
No changes
Packages
AcceptingPetriNetDecomposer
- Fixed bug in filter strategy. Places involved in initial and final markings are now ignored.
AcceptingPetriNetMiner
- Whether the artificial |start> and [end] events are added to the log now depends on the miner at hand. Will only happen for the Alpha Miner.
- ETM Miner does not remove artificial |start> and [end] events, and uses the standard parameters.
Daikon
- New package. Contains basically the third-party library named daikon.jar.
- Factored out of DataPetriNets package.
DataAwareExplorer
- Related to DataAwareReplayer.
DataAwareReplayer
- Fixed a bug that caused the XAlignmentExtension-based results (returning an XLog) to contain wrong data values. The BalancedReplayResult-based results have not been affected.
DataPetriNets
- Daikon got factored out.
DecomposedMiner
- Whether or not the artificial |start> and [end] events will be added now depends on the miner. At the moment, they will only be added for the Alpha Miner.
- Added opt configurations which should result in better decompositions.
EstablishedPackages
- Added Daikon package.
GraphViz
- Fixed the pdf export: it now correctly exports if the image viewport does not start at (0,0)
Hybrid ILP Miner
- Related to AcceptingPetriNetMiner.
InductiveMiner
- Fixed a phenomenon that reduction after mining would not finish
- Added links to papers for more information about the miner variants
InductiveVisualMiner
- Fixed the pdf/png/svg export: it now exports a frame of the animation correctly, even if the animation is running
- Fixed a nullpointerexception that would occur if exporting a pdf/png/svg while the animation was not computed yet
Log
- Fixed bugs related to the CSV importer.
LogAlignment
- Replay now stops after 10 minutes.
- Better detection on whether the replay was successful.
LogEnhancement
- Related to DataAwareReplayer.
PNAnalysis
- Fixed bug in computation of structured Petri net metric. The bug resulted in an endless loop in the computation.