Dear all, Today, October 16, 2015, ProM 6.5.1a (SilvR+) has been released, see http://www.promtools.org.
ProM 6.5.1a is a service release for ProM 6.5.1 that only fixes some bugs in some packages (see the Change Logs for ProM 6.5.1a<https://svn.win.tue.nl/trac/prom/wiki/ProM651a/ChangeLogs> for details). The framework for ProM 6.5.1a is the same as the framework for ProM 6.5.1, only some packages have changed. To install ProM 6.5.1a, one first installs ProM 6.5.1, and then updates the ProM.ini file that comes with ProM 6.5.1 into the one that matches ProM 6.5.1a. What's new in ProM 6.5.1a? - AcceptingPetriNetDecomposer: o Fixed bug in filter strategy. Places involved in initial and final markings are now ignored. - AcceptingPetriNetMiner o 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. o ETM Miner does not remove artificial |start> and [end] events, and uses the standard parameters. - Daikon o New package. Contains basically the third-party library named daikon.jar. o Factored out of DataPetriNets package. - DataAwareExplorer o See DataAwareReplayer. - DataAwareReplayer o 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 o Daikon got factored out. - DecomposedMiner o 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. o Added opt configurations which should result in better decompositions. - EstablishedPackages o Added Daikon package. - GraphViz o Fixed the pdf export: it now correctly exports if the image viewport does not start at (0,0) - InductiveMiner o Fixed a phenomenon that reduction after mining would not finish o Added links to papers for more information about the miner variants - InductiveVisualMiner o Fixed the pdf/png/svg export: it now exports a frame of the animation correctly, even if the animation is running o Fixed a nullpointerexception that would occur if exporting a pdf/png/svg while the animation was not computed yet - Log o Fixed bugs related to the CSV importer. - LogAlignment o Replay now stops after 10 minutes. o Better detection on whether the replay was successful. - LogEnhancement ΒΆ o See DataAwareReplayer. - PNAnalysis o Fixed bug in computation of structured Petri net metric. The bug resulted in an endless loop in the computation. ProM 6.5.1a can be downloaded from http://www.promtools.org/prom6, and additional details on the release can be found on https://svn.win.tue.nl/trac/prom/wiki/ProM651a. Kind regards, Eric. ---------------------8<------------------------ H.M.W. Verbeek MF 7.062, Department of Mathematics and Computer Science, Eindhoven University of Technology tel +31 (40) 247 3755, mob +31 (6) 4277 8860, [email protected]<mailto:[email protected]>
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
