Login / Signup
Jakub Kovár
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 8
Top Topics
Definition Language
Partially Ordered
Petri Net
Ims Ld
Top Venues
Petri Nets
BPM (PhD/Demos)
PNSE@Petri Nets
Modellierung (Workshops)
</>
Publications
</>
Jakub Kovár
,
Robin Bergenthum
Token Trail Semantics II - Petri Nets And Their Net Language.
Petri Nets
(2024)
Robin Bergenthum
,
Jakub Kovár
,
Nico Lueg
Das Blindenhund-Werkzeug: Autokorrektur von Petrinetzen mithilfe von halbgeordneten Verhaltensdaten.
Modellierung (Workshops)
(2024)
Sabine Folz-Weinstein
,
Robin Bergenthum
,
Jörg Desel
,
Jakub Kovár
Miner - Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming.
Petri Nets
(2023)
Robin Bergenthum
,
Sabine Folz-Weinstein
,
Jakub Kovár
Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets.
Petri Nets
(2023)
Robin Bergenthum
,
Jakub Kovár
A First Glimpse at Petri Net Regions.
ATAED@Petri Nets
(2022)
Gabriel Juhás
,
Tomás Kovácik
,
Jakub Kovár
,
Martin Kranec
Collecting Structured Logs of Instances as Process Nets in Petriflow Language.
PNSE@Petri Nets
(2021)
Gabriel Juhás
,
Tomás Kovácik
,
Jakub Kovár
,
Martin Kranec
,
Lubos Petrovic
Petriflow language and Netgrif Application Builder.
BPM (PhD/Demos)
(2021)
Gabriel Juhás
,
Tomás Kovácik
,
Jakub Kovár
,
Martin Kranec
,
Lubos Petrovic
Netgrif Application Engine.
BPM (PhD/Demos)
(2021)