I must be doing something wrong, but I can't download any of the software I am interested in, like SequenceMiner. After clicking a series of links, I end up on a page with no mention of SequenceMiner.

Nevertheless, interesting website and thanks for sharing. (Sequence/process mining seems especially intriguing to me.)