Mine for Petri net with α-algorithm and elasticsearch