Minor fix to help text

Minor maintenance release.

Changes:

• #3 Help for log format spelling error

Python / pm4py wrapper and quieter output

• Basic Python wrapper for toothpaste discovery, scripts/toothpaste.py,
• • This is a wrapper around the command line. It invokes the miner and imports the resulting PNML as a pm4py Petri net object
• • Future releases may include a python package which directly exposes some of the Toothpaste functions using a tool like hyphen
• Default logging radically reduced
• • A new --verbose option controls debug output at runtime
• Internal package reorganization under a Toothpaste namespace
• Simple binary distribution for windows included

Limit concurrency identification rules

• The concFromChoiceSuffix and concSubsume rules could create non-deterministic trees from deterministic ones (hence not being beta-traps)
• • This occurred when there was a tail sequence and silent choice was introduced at the head
• Utility functions for merging and copying experiment result files
• Reran experimental results impacted by above
• Runtime and pareto frontier calculations
• Bump version to 0.9.2,
• • More because of Petri net export bug fixed in 0.9.1.5 than this more minor patch

Petri net export silent transition fix

• Silent (invisible) transitions were not being exported correctly in PNML
• • Specifically, all transitions were invisible=false and priority = 0
• • Downstream Petri net tools were (correctly) interpreting this as labeled transitions named "tau" (or similar) rather than silent transitions. However this was not a correct translation of the output PPT and can result in significant underperformance on conformance measures.
• • Misleading priority had little impact but was also cleaned up
• Trace consolidation at the start of discovery has also been improved
• Incremental multi-node miner made available at API level
• • Command-line interface in a coming patch.

Improved k-fold experiment handling for existing models

• Improved experiment runner for k-fold logs and existing models

Alpha precision unrestricted calculator for experiments

• Alpha precision calculator for experiments
• • Uses playout logs and alpha significance 0

Petri net export bug for fixed loops

Identifiers in the exported Petri net PNML file could be inconsistent when using fixed loops.

Petri net concurrency bug and upgraded build and experiment dependencies

• Converting PPTs to PetriNets had a bug where the weight on the outgoing silent transition was incorrect for the concurrency operator
• Upgrade to latest EarthMoversStocahsticConformance release
• • EarthMoversStocahsticConformance-latest.jar released 25 November cksum 1027384172 1870801
• • This fixes an earth movers calculation bug where log-model similarity was always reported as zero
• Upgrade gradle to 7.3.2

Multinode, noise and trace probability support

This release supports

• An implementation of Toothpaste discovery which discovers multi-node Probabilistic Process Trees (PPTs)
• • Previously only binary trees were supported
• Improvements to the algorithm via new rules for
• • Operator flattening
• • Single node consolidation
• • Noise reduction via choice pruning
• Trace probabilities calculation functions for PPTs
• Functions for formatting PPTs and rules in LaTeX

Multinode improvements

Internal release with multinode discovery improvements.