Robin Bergenthum

Available identifiers

Publication	Date of Publication	Type
Token trail semantics -- modeling behavior of Petri nets with labeled Petri nets	2023-11-16	Paper
ILP\textsuperscript{2} Miner -- process discovery for partially ordered event logs using integer linear programming	2023-11-16	Paper
Firing partial orders in a Petri net	2022-03-21	Paper
Verification of scenarios in Petri nets using compact tokenflows	2016-05-11	Paper
Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows	2013-06-28	Paper
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages	2010-02-05	Paper
Comparison of different algorithms to synthesize a Petri net from a partial language	2009-12-09	Paper
Construction of Process Models from Example Runs	2009-04-24	Paper
Executability of scenarios in Petri nets	2009-03-25	Paper
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios	2009-03-11	Paper
Synthesis of Petri nets from finite partial languages	2009-02-12	Paper
Faster Unfolding of General Petri Nets Based on Token Flows	2008-07-03	Paper

This page was built for person: Robin Bergenthum