ProM 6.5 Release notes

Revision 21520

Requires Java 7. A Windows installer is available that includes a JRE7.
Uses http://www.promtools.org/prom6/packages65/packages.xml as default repository.
Uses .ProM65 as default user folder.

Files can now be dragged-and-dropped on the Workspace view by the user. This will start an import plug-in.
Resources can now be renamed by the user. See the Rename resource button on the Workspace view.
The Action view now shows additional information on the selected Action (that is, on the selected plug-in). See the Plugin action info at the bottom of the Action view.
A default visualizer for a resource can now be provided by the developer.
The EfficientStorage library has been moved to a separate EfficientStorage package.

The Package Manager now checks the availability of packages in the repositories. If it is not available, the user cannot select to install it.
By default, the RunnerUp packages will be installed, which will also install the Established packages. Starter packages can be installed manually.
Changing the amount of memory the Java VM may use to run ProM 6.5 now updates the necessary files instead of overwriting everything. As a result, you will not loose your changes to these files when changing the memory setting.

AcceptingPetriNet	AcceptingPetriNetClassicalReductor	AcceptingPetriNetDecomposer	AcceptingPetriNetMiner
AcceptingPetriNetRedundantPlacesReductor	ActivityClusterArray	ActivityClusterArrayCreator	ActivityClusterArrayExtractor
AlphaMiner	Animation	ApacheUtils	AProMore
BasicUtils	BPMN	BPMNAnalysis	BPMNConversions
BPMNMeasures	CausalActivityGraph	CausalActivityGraphCreator	CausalActivityMatrix
CausalActivityMatrixCreator	CausalActivityMatrixMiner	CNet	CNetReplayer
Compliance	ConceptDrift	COSAImportExport	Cosimulation
CPNet	DataAwareReplayer	DataPetriNets	DecomposedMiner
DecomposedReplayer	DivideAndConquer	DottedChart	DottedChart2
EfficientStorage	EMF	EPC	EPCConversion
EstablishedPackages	ETConformance	EvolutionaryTreeMiner	FeaturePrediction
Flex	FlexReplayer	Fuzzy	GPLv2Utils
GraphViz	GuideTreeMiner	HeuristicsCNetMiner	HeuristicsMiner
HybridILPMiner	ILPMiner	InductiveMiner	InductiveVisualMiner
InteractiveVisualization	KeyValue	Log	LogAbstractions
LogAlignment	LogDecomposer	LogDialog	LogMerge
LogMetrics	LogOverview	LogTimeFilter	LPEngine
LpSolve	Murata	OperationalSupport	OSService
PatternAbstractions	Performance	Petra	Petrify
PetriNetReplayAnalysis	PetriNets	PNAnalysis	PNetAlignmentAnalysis
PNetReplayer	PomPomView	PPM	ProcessLogGenerator
ProcessTree	Properties	PTMerge	Saxon
ServiceTech	SignatureDiscovery	SimpleLogOperations	SocialNetwork
StochasticPetriNets	TraceAlignment	TraceAlignmentWithGuideTree	TransitionSystems
TSPetrinet	Uma	Widgets	Woflan
XESAlignmentExtension	XESLite	YAWL

DivideAndConquer (and DACAlgorithms‘)
- Has been split up into the following packages:
  - AcceptingPetriNet
  - AcceptingPetriNetClassicalReductor
  - AcceptingPetriNetDecomposer
  - AcceptingPetriNetRedundantPlacesReductor
  - ActivityClusterArray
  - ActivityClusterArrayCreator
  - ActivityClusterArrayExtractor
  - CausalActivityGraph
  - CausalActivityGraphCreator
  - CausalActivityMatrix
  - CausalActivityMatrixCreator
  - CausalActivityMatrixMiner
  - DecomposedMiner
  - DecomposedReplayer
  - LogAlignment
  - LogDecomposer
- Some of the functionality has been moved to the following, existing, packages:
  - BasicUtils
  - Log
  - LogDialog
  - Murata
  - PNetReplayer
- Installing the DivideAndConquer package (which is now really an umbrella package) installs all required packages.
- The DACAlgorithms package has been removed.
Log
- Now includes a very versatile import from CSV (Comma-Separated-Values) files. See also its documentation
  1. Import a CSV file using the CSV File (XES Conversion with Log package) import plug-in.
  2. Convert the imported CSV file into a XES log using the Convert CSV to XES plug-in. This plug-in contains both a wizard and a preview window, but please note that you can also change the plug-in settings using the preview window. For example, if you have a very specific date format in your CSV file, then you can add this format here.