TimedAlignments. Implementations of algorithms for aligning observation traces to time Petri net process models, over several metrics.
