Incremental Process Discovery using Petri Net Synthesis. - Badouel, Eric; Schlachter, Uli (Fundamenta Informaticae, 2017)