Petrinet-based mining algorithms.