Folding Example Runs to a Workflow Net. - Robin Bergenthum; Thomas Irgang; Benjamin Meis (ATAED@Petri Nets/ACSD, 2015)

Synthesis of Elementary Net Systems with Final Configurations. - Benjamin Meis; Robin Bergenthum; Jörg Desel (ATAED@Petri Nets/ACSD, 2016)

Mining with Eve - Process Discovery and Event Structures. - Robin Bergenthum; Benjamin Meis (ATAED@Petri Nets/ACSD, 2017)

travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States. - Benjamin Meis; Robin Bergenthum; Jörg Desel (Petri Nets, 2017)

Visualizing Regions with a new Split-Screen View for the Online Tool travis. - Benjamin Meis; Robin Bergenthum (Modellierung (Workshops), 2018)