Login / Signup
Benjamin Meis
Publication Activity (10 Years)
Years Active: 2015-2018
Publications (10 Years): 4
Top Topics
Petri Net
Database Programming
Workflow Management Systems
Uc Berkeley
Top Venues
ATAED@Petri Nets/ACSD
Petri Nets
Modellierung (Workshops)
</>
Publications
</>
Benjamin Meis
,
Robin Bergenthum
Visualizing Regions with a new Split-Screen View for the Online Tool travis.
Modellierung (Workshops)
(2018)
Robin Bergenthum
,
Benjamin Meis
Mining with Eve - Process Discovery and Event Structures.
ATAED@Petri Nets/ACSD
(2017)
Benjamin Meis
,
Robin Bergenthum
,
Jörg Desel
travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States.
Petri Nets
(2017)
Benjamin Meis
,
Robin Bergenthum
,
Jörg Desel
Synthesis of Elementary Net Systems with Final Configurations.
ATAED@Petri Nets/ACSD
(2016)
Robin Bergenthum
,
Thomas Irgang
,
Benjamin Meis
Folding Example Runs to a Workflow Net.
ATAED@Petri Nets/ACSD
(2015)