Genet: A Tool for the Synthesis and Mining of Petri Nets. - Carmona, Josep; Cortadella, Jordi; Kishinevsky, Michael (2009)