Update build to latest prom infrastructure

Fixes build errors caused by upstream changes to ProM's ivy infrastructure

• New ivysettings
• documentation improvements

Minor maintenance release for plugin jar

The plugin jar was not made available in the 1.1.0 release. Since some time has passed, this is released as a separate version, though there are no code changes from 1.1.0.

Cleanup release and new experiment run

• Results from rerun experiments from August 2023
• • Motivation for rerun was bugfix #1 which impacted results for AlignmentEstimator
• Release officially numbered version for what was previously v1.1-b1.
• • ProM dependency issue in unfortunate limbo, so beta label misleading. Better to accept current reality.
• • Building some prob-process-tree dependency from source still unfortunately required.

Process Tree Weight Estimator (beta)

Allows estimators to output ProbabilisticProcessTrees (PPTs), a form of weighted process tree, when the original model was process tree based. PPTEstimateRunner.java provides a simple command line interface.

Released as a beta because the prob-process-tree-0.2 library is not yet released as an artifact in a public repository, so has to be built from source or taken from the github repository.

AlignmentEstimator zero weight silent transitions

Fix #1

Improved management of initial and final markings

Use StochasticNetDescriptor and its initial and final markings more consistently
Rename "Classic" miners to "Control" miners, eg ControlInductiveMiner

Initial ProM plugin

Changes to support release as a ProM plugin

PMQI 2020 paper and ProM plugin

This 1.0 release exposes estimators as a ProM plugin and coincides with the presentation of the workshop paper at PQMI 2020. There have been no changes to the internal technical operation of the weight estimation code since v0.21, which corresponds to the paper submission and revision.