Text this: Incremental Process Discovery using Petri Net Synthesis.