Robin Bergenthum Jörg Desel Sebastian Mauser Robert Lorenz Construction of Process Models from Example Runs. 243-259 2009 2 T. Petri Nets and Other Models of Concurrency http://dx.doi.org/10.1007/978-3-642-00899-3_14 journals/topnoc/2009-2 db/journals/topnoc/topnoc2.html#BergenthumDML09