Jakub Kovár

11 papers B 4Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Synthesizing Petri Nets from Labelled Petri Nets using Token Trail Regions.
CoRR
Robin Bergenthum, Jakub Kovár
2025 — conf
KI und BPM als Enabler der Digitalisierung in der Verwaltung.
STAF Workshops
Julius Köpke, Robin Bergenthum, Jakub Kovár
2025 B conf
Synthesizing Petri Nets from Labelled Petri Nets.
Petri Nets
Robin Bergenthum, Jakub Kovár
2024 — conf
Das Blindenhund-Werkzeug: Autokorrektur von Petrinetzen mithilfe von halbgeordneten Verhaltensdaten.
Modellierung (Workshops)
Robin Bergenthum, Jakub Kovár, Nico Lueg
2024 B conf
Token Trail Semantics II - Petri Nets And Their Net Language.
Petri Nets
Jakub Kovár, Robin Bergenthum
2023 B conf
ILP
Petri Nets
Sabine Folz-Weinstein, Robin Bergenthum, Jörg Desel, Jakub Kovár
2023 B conf
Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets.
Petri Nets
Robin Bergenthum, Sabine Folz-Weinstein, Jakub Kovár
2022 — conf
A First Glimpse at Petri Net Regions.
ATAED@Petri Nets
Robin Bergenthum, Jakub Kovár
2021 — conf
Collecting Structured Logs of Instances as Process Nets in Petriflow Language.
PNSE@Petri Nets
Gabriel Juhás, Tomás Kovácik, Jakub Kovár, Martin Kranec
2021 — conf
Netgrif Application Engine.
BPM (PhD/Demos)
Gabriel Juhás, Tomás Kovácik, Jakub Kovár, Martin Kranec, Lubos Petrovic
2021 — conf
Petriflow language and Netgrif Application Builder.
BPM (PhD/Demos)
Gabriel Juhás, Tomás Kovácik, Jakub Kovár, Martin Kranec, Lubos Petrovic