Robin Bergenthum

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Fundamenta Informaticae	2016-05-11	Paper
Faster verification of partially ordered runs in Petri nets using compact tokenflows Application and Theory of Petri Nets and Concurrency	2013-06-28	Paper
Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages Fundamenta Informaticae	2010-02-05	Paper
Comparison of different algorithms to synthesize a Petri net from a partial language Transactions on Petri Nets and Other Models of Concurrency III	2009-12-09	Paper
Construction of Process Models from Example Runs Transactions on Petri Nets and Other Models of Concurrency II	2009-04-24	Paper
Executability of scenarios in Petri nets Theoretical Computer Science	2009-03-25	Paper
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios Petri Nets and Other Models of Concurrency – ICATPN 2007	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 Applications and Theory of Petri Nets	2008-07-03	Paper

Research outcomes over time

This page was built for person: Robin Bergenthum