Serialization of objects can now be switched of by adding DO_SERIALIZATION = false.
Changes in Package Manager:
Package Manager now allows the selection of multiple packages. As a result, the installation or removal of many packages at once has become more easy.
This package is a meta-package that depends on all other packages that are contained in the ProM 6.1 release. As a result, after having installed this package, all packages of the ProM 6.1 release have been installed as well.
The Show package overview shows an overview of installed packages and plug-ins. For plug-ins, it also shows the package the plug-in resides in.
Animation (factored out as separate package)
This package contains necessary animation support for the Fuzzy and TransitionSystem packages, which includes a generic animation visualizer (Show animation).
The layout of the animated graph will only be copied from the original graph. If the original graph has no layout yet, the animation will have no layout either.
This package contains basic BPMN support.
This package contains basic support for COSA, which is relevant for Protos/Woflan users as Protos and Woflan use the COSA format as intermediary format. This package uses the Murata package to have silent transitions removed wherever possible.
Run CPN models together with Java objects, including executing a method whenever a transition is executed, a token is produced on a place, replace a substitution transition with a Java object, or using an executing CPN models as a Java object.
Get a notification in the GUI whenever a transition is executed including ability to modify the executed binding.
Get a notification in the GUI whenever a token is produced on a place.
Orchestrate executions of ProM workflows using CPN models, making it possible to automate routine workflows inside ProM.
Make CPN models first-class objects in ProM.
Import CPN models.
Simulate CPN models and generate logs from the simulation.
Declare (factored out as separate package)
Make Declare models first-class objects in ProM.
Separate Declare functionality (importing and visualization) into a separate package.
Translate Declare models to transition systems for further analysis.
The Declare Miner plug-in allows the user to discover a Declare model from a log, using a number of settings. There are two versions of the plug-in. The first one, the Declare Miner, requires a Declare language as input. The second one, the Declare Miner Default, uses a predefined Declare language and does not require any language as input.
There is now a first dialog where it is possible to choose the event classes to be involved in the discovered constraints (PoE, Percentage of Events).
In the previous version, the second dialog allowed users to set PoE, PoI (Percentage of instances), allowing users to discover a constraint also if satisfied only in a given percentage of process instances and NoR (Number of rules), allowing users to set the minimum number of constraints to discover (considering the ones satisfied in the larger number of process instances). In the current version, the second dialog allows users to select the semantics used for the discovered constraints (weak, neutral, strong), PoI again, and PoIW (Percentage of Interesting Witnesses) allowing users to discover a constraint only if it is “activated” in a given percentage of process instance.
Default options changed.
DottedChart model can now be serialized.
EPC (factored out as separate package)
This package contains basic support for EPCs.
EPCConversion (factored out as separate package)
This package contains converters from Petri nets to EPCs and vice versa. See BETA Working Paper 194 (http://beta.ieis.tue.nl/node/1226) for details on the Petri-net-to-EPC convertor.
Added new heuristic to deal with indeterminism.
Explicit initial marking input object not required any more.
Factored out pattern abstractions to PatternAbstractions package.
Factored out animation to Animation package.
Improved handling of molecular graphs.
Fixed problem with inivisible arcs.
Added a version that returns the best-fitting found Heuristic Net.
New implementation of FlexibleHeuristicsMiner.
Support for unstructured log data (key-value pairs).
Translation of unstructured log data to regular logs.
Unstructured log data can be used to easily import data from external sources.
Loading of CSV files and CPN Tools simulation logs as unstructured log data for further translation to regular logs.
Reimplementation of ProM CPN library (http://www.processmining.org/tools/promcpn) so it only generates one file in a slightly extended XES format; the format can be imported directly into ProM and is automatically translated to a regular log.
Log (factored out as separate package)
This package contains basic support for the Log model and Log plug-ins. It is backed by OpenXES.
Allows for opening a log file using either NikeFS (buffered) or main memory (naive).
Increased number of backing files in OpenXES to 4.
Improved log name handling.
Improved performance of log filters (log info not needed if there is no progress bar, do not filter if there is nothing to filter).
LogAbstractions (factored out as separate package)
Added Performance Sequence Diagram as a log visualizer. Can also show patterns.
Now uses InteractiveVisualization.
Only recompiles log info content if the log info has been changed.
There are now two versions of the plug-in: LTL Checker (requiring an LTL model as input) and LTL Checker Default (that does not require any model but uses a standard LTL model).
Together with the checking results now the output includes also 2 logs, one including only the compliant traces and another including only the non-compliant traces, that can be exported to the file system.
MoBuConLTL (formerly known as RuntimeLTLChecker)
Added option to reduce all transitions in a Petri net.
OperationalSupport (replaces OSService)
Completely rewritten operational support with a more robust protocol, scalable implementation, and server-side sessions.
Simple proof-of-concept operational support provider, providing random answers; useful for testing and as starting point for real implementations.
OSService (replaced by OperationalSupport, kept for backwards compatibility reasons)
Enabled Petrify export.
Replayer now uses the first classifier it can find in the log, otherwise it reverts to the standard classifier. If, for some reason, a trace is replayed by an empty sequence, then this is now regarded as a replay failure.
PetriNets (factored out as a separate package)
Added handling of relaxed soundness and final markings.
TransitionSystems (factored out as a separate package)
Added sliders to the Transition System Miner configuration to select a top percentage.
Added support for log classifiers in Transition System Miner. If log classifiers exist, these will be used by the miner, and the first log classifier will be used as transition classifier.
Uma implements techniques for analyzing and simplifying process models in ProM. The techniques build on the theory of unfoldings of process models and McMillan prefixes to analyze the behavior of process models in a compact, symbolic representation.
More than 10 new widgets in a style that blends in with ProM.
Now has PNAnalysis construct a restricted coverability graph instead of a normal coverability graph, the difference being that in a restricted coverability graph so-called omega places are not considered for extension.
Operational support provider using XQuery as querying language; supports simple queries, and compare, predict and recommend queries using a log as underlying model.