Collecting Structured Logs of Instances as Process Nets in Petriflow Language. - Gabriel Juhás; Tomás Kovácik; Jakub Kovár; Martin Kranec (PNSE@Petri Nets, 2021)

Netgrif Application Engine. - Gabriel Juhás; Tomás Kovácik; Jakub Kovár; Martin Kranec; Lubos Petrovic (BPM (PhD/Demos), 2021)

Petriflow language and Netgrif Application Builder. - Gabriel Juhás; Tomás Kovácik; Jakub Kovár; Martin Kranec; Lubos Petrovic (BPM (PhD/Demos), 2021)

A First Glimpse at Petri Net Regions. - Robin Bergenthum; Jakub Kovár (ATAED@Petri Nets, 2022)

Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets. - Robin Bergenthum; Sabine Folz-Weinstein; Jakub Kovár (Petri Nets, 2023)

ILP2 Miner - Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming. - Sabine Folz-Weinstein; Robin Bergenthum; Jörg Desel; Jakub Kovár (Petri Nets, 2023)

Token Trail Semantics II - Petri Nets And Their Net Language. - Jakub Kovár; Robin Bergenthum (Petri Nets, 2024)

Das Blindenhund-Werkzeug: Autokorrektur von Petrinetzen mithilfe von halbgeordneten Verhaltensdaten. - Robin Bergenthum; Jakub Kovár; Nico Lueg (Modellierung (Workshops), 2024)

Synthesizing Petri Nets from Labelled Petri Nets. - Robin Bergenthum; Jakub Kovár (Petri Nets, 2025)