Robin Bergenthum

zbMath Openbergenthum.robinMaRDI QIDQ1006645

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