Benjamin Meis

According to our database, Benjamin Meis authored at least 5 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Visualizing Regions with a new Split-Screen View for the Online Tool travis.

Benjamin Meis, Robin Bergenthum

Proceedings of the Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, 2018

2017

travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States.

Benjamin Meis, Robin Bergenthum, Jörg Desel

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

Mining with Eve - Process Discovery and Event Structures.

Robin Bergenthum, Benjamin Meis

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, 2017

2016

Synthesis of Elementary Net Systems with Final Configurations.

Benjamin Meis, Robin Bergenthum, Jörg Desel

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design ACSD 2016, 2016

2015

Folding Example Runs to a Workflow Net.

Robin Bergenthum, Thomas Irgang, Benjamin Meis

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, 2015